xen: arm: p2m: use 64-bit compatible registers.
authorIan Campbell <ian.campbell@citrix.com>
Fri, 22 Feb 2013 08:58:14 +0000 (08:58 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 22 Feb 2013 12:14:55 +0000 (12:14 +0000)
commitc95d4af5bb69a76d730c8be5369ba4822b9d2ec9
treecfe4e1622b079f0ee5994b8ba0bc606c8cf05a13
parentf04b8e6c7f6c2d9c1edb61aaba420cd003e711fe
xen: arm: p2m: use 64-bit compatible registers.

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