From: Julien Grall <julien.grall@citrix.com>
Date: Wed, 7 Oct 2015 14:41:06 +0000 (+0100)
Subject: xen/arm: vgic: ctlr stores a 32-bit hardware register so use uint32_t
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~2404
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=17c9bc64551ef4b829735de3786083456ed60941;p=xen.git

xen/arm: vgic: ctlr stores a 32-bit hardware register so use uint32_t

Signed-off-by: Julien Grall <julien.grall@citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
---

diff --git a/xen/include/asm-arm/domain.h b/xen/include/asm-arm/domain.h
index b89727e9f4..e7e40da898 100644
--- a/xen/include/asm-arm/domain.h
+++ b/xen/include/asm-arm/domain.h
@@ -91,7 +91,7 @@ struct arch_domain
          * rank order.
          */
         spinlock_t lock;
-        int ctlr;
+        uint32_t ctlr;
         int nr_spis; /* Number of SPIs */
         unsigned long *allocated_irqs; /* bitmap of IRQs allocated */
         struct vgic_irq_rank *shared_irqs;