[PATCH v3 0/9] xen/arm: vgic: Support 32-bit access for 64-bit register

[Julien Grall <julien.grall@citrix.com>]

Hi all,

This series aims to fixc the 32-bit access on 64-bit register. Some guest
OS such as FreeBSD and Linux (only in ITS) use 32-bit access and will crash
at boot time.

I took the opportunity to go further and optimize the way Xen is storing
registers such as GICD_IPRIORITYR, GICD_ITARGETSR and GICD_IROUTER.

For all changes see in each patch.

A branch has been pushed based on the latest staging:

git://xenbits.xen.org/people/julieng/xen-unstable.git branch gicv3-32bit-v2


Julien Grall (9):
  xen/arm: io: remove mmio_check_t typedef
  xen/arm: io: Extend write/read handler to pass the register in
    parameter
  xen/arm: io: Support sign-extension for every read access
  xen/arm: vgic: ctlr stores a 32-bit hardware register so use uint32_t
  xen/arm: vgic: Optimize the way to store GICD_IPRIORITYR in the rank
  xen/arm: vgic: Introduce a new field to store the rank index and use
    it
  xen/arm: vgic: Optimize the way to store the target vCPU in the rank
  xen/arm: vgic: Introduce helpers to extract/update/clear/set vGIC
    register ...
  xen/arm: vgic-v3: Support 32-bit access for 64-bit registers

 xen/arch/arm/io.c            |  34 ++++-
 xen/arch/arm/vgic-v2.c       | 308 +++++++++++++++++++------------------
 xen/arch/arm/vgic-v3.c       | 353 +++++++++++++++++++++++--------------------
 xen/arch/arm/vgic.c          |  70 +++++++--
 xen/arch/arm/vuart.c         |  20 ++-
 xen/include/asm-arm/domain.h |   2 +-
 xen/include/asm-arm/mmio.h   |   7 +-
 xen/include/asm-arm/vgic.h   | 151 ++++++++++++++----
 8 files changed, 582 insertions(+), 363 deletions(-)

-- 
2.1.4