From: Andrew Cooper <andrew.cooper3@citrix.com>
Date: Fri, 16 Mar 2012 15:24:25 +0000 (+0000)
Subject: kexec: Fix printing of paddr_t in 32bit mode.
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=f425c23ee17f07dd7368585e2ad15ee65e1bebb0;p=xen.git

kexec: Fix printing of paddr_t in 32bit mode.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Committed-by: Keir Fraser <keir@xen.org>
---

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);