commit | c57e81889faa5823d0d47c14a4dfc45914205d71 | [log] [tgz] |
---|---|---|
author | Jinjie Ruan <ruanjinjie@huawei.com> | Fri Apr 19 14:33:05 2024 +0100 |
committer | Peter Maydell <peter.maydell@linaro.org> | Thu Apr 25 10:21:05 2024 +0100 |
tree | 2487c8c3c2c7939241407d7f03e970361c46d666 | |
parent | f3c26a44fe3dc27988f07b7e1c4155b9a55818fc [diff] |
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>