On 09/11/2017 06:52 AM, Peter Maydell wrote: > In several places we were unconditionally applying the > nvic_gprio_mask() to a priority value. This is incorrect > if the priority is one of the fixed negative priority > values (for NMI and HardFault), so don't do it. > > This bug would have caused both NMI and HardFault to be > considered as the same priority and so NMI wouldn't > correctly preempt HardFault. > > Signed-off-by: Peter Maydell <peter.mayd...@linaro.org> > --- > hw/intc/armv7m_nvic.c | 11 +++++++++-- > 1 file changed, 9 insertions(+), 2 deletions(-)
Reviewed-by: Richard Henderson <richard.hender...@linaro.org> r~
