Imported Upstream version 3.10
[debian/elilo] / bootparams.c
index 1a2c54b3b0e388697d2b174b3e154f33d4390472..da3d6642ae5e5603fa325dcc70cbba7a51704ee6 100644 (file)
@@ -78,7 +78,7 @@ create_boot_params(CHAR16 *args, memdesc_t *initrd, memdesc_t *vmcode, UINTN *co
                return 0;
        }
 
-       VERB_PRT(3, Print(L"boot params @ 0x%lx\n", bp));
+       VERB_PRT(3, Print(L"boot params @ " PTR_FMT "\n", bp));
 
 /* XXX: need to fix this for 3.5 */
 #ifdef CONFIG_ia64