diff options
| author | Ian Campbell <ian.campbell@citrix.com> | 2013-03-06 08:54:35 +0000 |
|---|---|---|
| committer | Ian Campbell <ian.campbell@citrix.com> | 2013-04-11 09:34:58 +0100 |
| commit | 8424523b15b89f8252b02d431a5945f2c22bf343 (patch) | |
| tree | 4214e946355aef544efb96f733ba637567dc0dd5 | |
| parent | db453468d92369e7182663fb13e14d83ec4ce456 (diff) | |
| download | xen-8424523b15b89f8252b02d431a5945f2c22bf343.tar.gz xen-8424523b15b89f8252b02d431a5945f2c22bf343.tar.bz2 xen-8424523b15b89f8252b02d431a5945f2c22bf343.zip | |
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>
| -rw-r--r-- | xen/arch/arm/gic.c | 2 |
1 files changed, 1 insertions, 1 deletions
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++ ) |