From f425c23ee17f07dd7368585e2ad15ee65e1bebb0 Mon Sep 17 00:00:00 2001 From: Andrew Cooper Date: Fri, 16 Mar 2012 15:24:25 +0000 Subject: [PATCH] kexec: Fix printing of paddr_t in 32bit mode. Signed-off-by: Andrew Cooper Committed-by: Keir Fraser --- xen/common/kexec.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/xen/common/kexec.c b/xen/common/kexec.c index dd47e27e3c..71a3995b82 100644 --- a/xen/common/kexec.c +++ b/xen/common/kexec.c @@ -207,8 +207,8 @@ static void __init parse_crashinfo_maxaddr(const char * str) if ( (addr = parse_size_and_unit(str, NULL)) ) crashinfo_maxaddr = addr; else - printk("Unable to parse crashinfo_maxaddr. Defaulting to %p\n", - (void*)crashinfo_maxaddr); + printk("Unable to parse crashinfo_maxaddr. Defaulting to %"PRIpaddr"\n", + crashinfo_maxaddr); } custom_param("crashinfo_maxaddr", parse_crashinfo_maxaddr); -- 2.39.5