Re: [PATCH] hw/intc/armv7m_nvic: ICPRn must not unpend an IRQ that is being held high

On 28/6/22 17:47, Peter Maydell wrote: In the M-profile Arm ARM, rule R_CVJS defines when an interrupt should be set to the Pending state: A) when the input line is high and the interrupt is not Active B) when the input line transitions from low to high and the interrupt is Active (Note

Re: [PATCH] hw/intc/armv7m_nvic: ICPRn must not unpend an IRQ that is being held high

Ping for code review, please? thanks -- PMM On Tue, 28 Jun 2022 at 16:47, Peter Maydell wrote: > > In the M-profile Arm ARM, rule R_CVJS defines when an interrupt should > be set to the Pending state: > A) when the input line is high and the interrupt is not Active > B) when the input line

Re: [PATCH] hw/intc/armv7m_nvic: ICPRn must not unpend an IRQ that is being held high

On Tue, 28 Jun 2022 at 16:47, Peter Maydell wrote: > > In the M-profile Arm ARM, rule R_CVJS defines when an interrupt should > be set to the Pending state: > A) when the input line is high and the interrupt is not Active > B) when the input line transitions from low to high and the interrupt >

[PATCH] hw/intc/armv7m_nvic: ICPRn must not unpend an IRQ that is being held high

In the M-profile Arm ARM, rule R_CVJS defines when an interrupt should be set to the Pending state: A) when the input line is high and the interrupt is not Active B) when the input line transitions from low to high and the interrupt is Active (Note that the first of these is an ongoing