Re: [PATCH 08/41] hw/intc/arm_gicv3_its: Implement VMAPI and VMAPTI

On 4/8/22 07:15, Peter Maydell wrote: + "%s: Doorbell 0x%x not 1023 and not a valid LPI\n", A little confusing for hex not decimal. Otherwise, Reviewed-by: Richard Henderson r~

[PATCH 08/41] hw/intc/arm_gicv3_its: Implement VMAPI and VMAPTI

Implement the GICv4 VMAPI and VMAPTI commands. These write an interrupt translation table entry that maps (DeviceID,EventID) to (vPEID,vINTID,doorbell). The only difference between VMAPI and VMAPTI is that VMAPI assumes vINTID == EventID rather than both being specified in the command packet. (Thi