xen: arm: gic: use 64-bit compatible registers
authorIan Campbell <ian.campbell@citrix.com>
Fri, 22 Feb 2013 08:58:12 +0000 (08:58 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 22 Feb 2013 12:14:54 +0000 (12:14 +0000)
commitb14f92d85eab7d487907978a1a3dc6ec0cb06b1f
tree4793ed7717618e448611fd46f5b2e2a5c40238d9
parent724a1b963b684c82905291e0bec70158fb415755
xen: arm: gic: use 64-bit compatible registers

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Tim Deegan <tim@xen.org>
xen/arch/arm/gic.c