From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ian Campbell Subject: [PATCH 8/9] arm: gic: fix build on arm64 Date: Wed, 6 Mar 2013 08:54:35 +0000 Message-ID: <1362560076-25897-8-git-send-email-ijc@hellion.org.uk> References: <1362559920.8941.98.camel@hastur.hellion.org.uk> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: <1362559920.8941.98.camel@hastur.hellion.org.uk> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: xen-devel@lists.xen.org Cc: stefano.stabellini@citrix.com, tim@xen.org, Ian Campbell List-Id: xen-devel@lists.xenproject.org From: Ian Campbell lr_mask is a uint64_t and so needs to be printed with PRIx64. Signed-off-by: Ian Campbell --- xen/arch/arm/gic.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/arm/gic.c b/xen/arch/arm/gic.c index 59e007a..2b60532 100644 --- a/xen/arch/arm/gic.c +++ b/xen/arch/arm/gic.c @@ -741,7 +741,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++ ) -- 1.7.10.4