Imported Upstream version 3.10

[debian/elilo] / ia64 / plain_loader.c

diff --git a/ia64/plain_loader.c b/ia64/plain_loader.c
index 150f7a0154bdbe79b712d19e75c13f03bf19281d..ad38885f8f49e66a223e0bf41e38294cfa2122b3 100644 (file)
--- a/ia64/plain_loader.c
+++ b/ia64/plain_loader.c
@@ -288,7 +288,7 @@ load_elf(fops_fd_t fd, kdesc_t *kd)
        if (alloc_kmem(low_addr, pages) == -1) {
                VOID *new_addr;
 
-               VERB_PRT(1, (L"%s : AllocatePages(%d, 0x%lx) for kernel failed\n", LD_NAME, pages, low_addr));
+               VERB_PRT(1, Print(L"%s : AllocatePages(%d, 0x%lx) for kernel failed\n", LD_NAME, pages, low_addr));
 
                if (ia64_can_relocate() == 0) {
                        ERR_PRT((L"relocation is disabled, cannot load kernel"));