update the other patch

[debian/elilo] / ia64 / system.c

diff --git a/ia64/system.c b/ia64/system.c
index bb826ef26674cf8f8488d657610b4c96da7520ac..2f4223db56c52a7bb783a3637510dfe10216f384 100644 (file)
--- a/ia64/system.c
+++ b/ia64/system.c
@@ -55,7 +55,7 @@ sysdeps_create_boot_params(boot_params_t *bp, CHAR8 *cmdline, memdesc_t *initrd,
 
        if (get_memmap(&mdesc) == -1) return -1;
 
-       DBG_PRT((L"Got memory map @ 0x%lx (%d bytes)", mdesc.md, mdesc.map_size));
+       DBG_PRT((L"Got memory map @ 0x%lx (%d bytes) with key %d", mdesc.md, mdesc.map_size, mdesc.cookie));
 
        bp->efi_systab          = (UINTN)systab;
        bp->efi_memmap          = (UINTN)mdesc.md;
@@ -140,6 +140,12 @@ sysdeps_initrd_get_addr(kdesc_t *kd, memdesc_t *imem)
        return 0;
 }
 
+VOID *
+sysdeps_checkfix_initrd(VOID *start_addr, memdesc_t *imem)
+{
+       return start_addr;
+}
+
 /* Flush data cache [addr; addr + len], and sync with icache.  */
 void
 flush_dcache (CHAR8 *addr, UINT64 len)
@@ -147,7 +153,7 @@ flush_dcache (CHAR8 *addr, UINT64 len)
        /* Cache line length is at least 32.  */
        UINT64 a = (UINT64)addr & ~0x1f;
 
-       VERB_PRT(3, Print(L"Flush 0x%lx-", a));
+       DBG_PRT((L"Flush 0x%lx-", a));
 
        /* Flush data.  */
        for (len = (len + 31) & ~0x1f; len > 0; len -= 0x20, a += 0x20)
@@ -155,5 +161,5 @@ flush_dcache (CHAR8 *addr, UINT64 len)
        /* Sync and serialize.  Maybe extra.  */
        asm volatile (";; sync.i;; srlz.i;;");
 
-       VERB_PRT(3, Print(L"0x%lx\n", a));
+       DBG_PRT((L"0x%lx\n", a));
 }