[PATCH 0/2] ARM GICv3 ITS DeviceID modification implementation

[Nabih Estefan]

This patch series modifies the ARM GICv3 ITS to use the already existing
send_msi virtual function when writing the GITS_TRANSLATER in order to be able
to modify the final DeviceID to an implementation specific version that requires
extra information besides the BDF that comes in the requester_id. This is
achieved by using inheritance and redefinition of the send_msi while the
parent's send_msi could still be used to inject the modified DeviceID.

Roque Arcudia Hernandez (2):
  hw/intc/arm_gicv3_its_common: Increase DeviceID to 32 bits
  hw/intc/arm_gicv3_its: Use send_msi in the GITS_TRANSLATER write

 hw/intc/arm_gicv3_its.c                | 20 +++++++++-----------
 hw/intc/arm_gicv3_its_kvm.c            |  2 +-
 include/hw/intc/arm_gicv3_its_common.h | 15 ++++++++++++---
 3 files changed, 22 insertions(+), 15 deletions(-)

-- 
2.44.0.rc0.258.g7320e95886-goog