[PATCH 0/3] xen/arm: vgic-v3: Correctly retrieved the vCPU associated to a re-distributor

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

Hi,

This small series aims to fix the issue discovered by Shameerali when booting
Xen on his platform.

Note the last patch is just a clean-up because I was bothered with the really
long name in the I/O emulation. It has been placed at the end so we can
backport easily the first 2 patches in Xen 4.6 if necessary.

I pushed a branch will this patch series based on staging:

git://xenbits.xen.org/people/julieng/xen-unstable.git branch gicv3-redist

Sincerely yours,

Cc: shameerali.kolothum.thodi@huawei.com

Julien Grall (3):
  xen/arm: io: Extend write/read handler to pass private data
  xen/arm: vgic-v3: Correctly retrieve the vCPU associated to a
    re-distributor
  xen/arm: io: Shorten the name of the fields and clean up

 xen/arch/arm/io.c            | 57 ++++++++++++++++++++------------
 xen/arch/arm/vgic-v2.c       | 12 ++++---
 xen/arch/arm/vgic-v3.c       | 79 ++++++++++++++++++--------------------------
 xen/arch/arm/vuart.c         | 15 +++++----
 xen/include/asm-arm/domain.h |  3 +-
 xen/include/asm-arm/mmio.h   | 19 ++++++-----
 6 files changed, 96 insertions(+), 89 deletions(-)

-- 
2.1.4