Re: [PATCH v11 21/23] hw/intc/arm_gicv3: Report the VINMI interrupt

2024-04-02 Thread Peter Maydell
On Sat, 30 Mar 2024 at 10:33, Jinjie Ruan wrote: > > In vCPU Interface, if the vIRQ has the non-maskable property, report > vINMI to the corresponding vPE. > > Signed-off-by: Jinjie Ruan > Reviewed-by: Richard Henderson > --- Reviewed-by: Peter Maydell thanks -- PMM

[PATCH v11 21/23] hw/intc/arm_gicv3: Report the VINMI interrupt

2024-03-30 Thread Jinjie Ruan via
In vCPU Interface, if the vIRQ has the non-maskable property, report vINMI to the corresponding vPE. Signed-off-by: Jinjie Ruan Reviewed-by: Richard Henderson --- v10: - Update the commit message, superpriority -> non-maskable. v9: - Update the commit subject and message, vNMI -> vINMI. v6: - Ad