From: Ian Campbell <ian.campbell@citrix.com>
Date: Wed, 6 Mar 2013 08:54:35 +0000 (+0000)
Subject: arm: gic: fix build on arm64
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~7048^2~18
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=8424523b15b89f8252b02d431a5945f2c22bf343;p=xen.git

arm: gic: fix build on arm64

lr_mask is a uint64_t and so needs to be printed with PRIx64.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
---

diff --git a/xen/arch/arm/gic.c b/xen/arch/arm/gic.c
index 4124b1d297..49f2b203e0 100644
--- a/xen/arch/arm/gic.c
+++ b/xen/arch/arm/gic.c
@@ -667,7 +667,7 @@ void gic_dump_info(struct vcpu *v)
     int i;
     struct pending_irq *p;
 
-    printk("GICH_LRs (vcpu %d) mask=%llx\n", v->vcpu_id, v->arch.lr_mask);
+    printk("GICH_LRs (vcpu %d) mask=%"PRIx64"\n", v->vcpu_id, v->arch.lr_mask);
     if ( v == current )
     {
         for ( i = 0; i < nr_lrs; i++ )