X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=ia64%2Fplain_loader.c;h=ad38885f8f49e66a223e0bf41e38294cfa2122b3;hb=3384f0373c8758e5ddd08f489ad7110898dd5406;hp=150f7a0154bdbe79b712d19e75c13f03bf19281d;hpb=8e0034665aa8483b27191c723608575536d01303;p=debian%2Felilo

diff --git a/ia64/plain_loader.c b/ia64/plain_loader.c
index 150f7a0..ad38885 100644
--- 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"));