xen/arm: vgic: ctlr stores a 32-bit hardware register so use uint32_t
authorJulien Grall <julien.grall@citrix.com>
Wed, 7 Oct 2015 14:41:06 +0000 (15:41 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 8 Oct 2015 11:22:46 +0000 (12:22 +0100)
commit17c9bc64551ef4b829735de3786083456ed60941
tree4aa82b399f075087ffac427f8400ab1a08b77a01
parentac0ca6895b654d2d80b2e894183e253e0423f4e6
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>
xen/include/asm-arm/domain.h