tree 2487c8c3c2c7939241407d7f03e970361c46d666
parent f3c26a44fe3dc27988f07b7e1c4155b9a55818fc
author Jinjie Ruan <ruanjinjie@huawei.com> 1713533585 +0100
committer Peter Maydell <peter.maydell@linaro.org> 1714036865 +0100

hw/intc/arm_gicv3: Report the VINMI interrupt

In vCPU Interface, if the vIRQ has the non-maskable property, report
vINMI to the corresponding vPE.

Signed-off-by: Jinjie Ruan <ruanjinjie@huawei.com>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Message-id: 20240407081733.3231820-23-ruanjinjie@huawei.com
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>