xen/arm: vgic-v3: Support 32-bit access for 64-bit registers
authorJulien Grall <julien.grall@citrix.com>
Wed, 18 Nov 2015 16:42:43 +0000 (16:42 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Wed, 25 Nov 2015 12:29:26 +0000 (12:29 +0000)
commitc4d6bbdc12e5660fb1842bdce06002bf65a09758
tree481cf083eb69d496eb33f5e4287d06a05f29b56b
parent423e9ecdc26c4b40c8db1fcc63b3655463c29976
xen/arm: vgic-v3: Support 32-bit access for 64-bit registers

Based on 8.1.3 (IHI 0069A), unless stated otherwise, the 64-bit registers
supports both 32-bit and 64-bits access.

All the registers we properly emulate (i.e not RAZ/WI) supports 32-bit access.

For RAZ/WI, it's also seems to be the case but I'm not 100% sure. Anyway,
emulating 32-bit access for them doesn't hurt. Note that we would need
some extra care when they will be implemented (for instance GICR_PROPBASER).

Signed-off-by: Julien Grall <julien.grall@citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/vgic-v3.c