If AIRCR.BFHFNMINS is clear, then although NonSecure HardFault
can still be pended via SHCSR.HARDFAULTPENDED it mustn't actually
preempt execution. The simple way to achieve this is to clear the
enable bit for it, since the enable bit isn't guest visible.
Signed-off-by: Peter Maydell
---
hw/intc
On 09/12/2017 01:14 PM, Peter Maydell wrote:
> If AIRCR.BFHFNMINS is clear, then although NonSecure HardFault
> can still be pended via SHCSR.HARDFAULTPENDED it mustn't actually
> preempt execution. The simple way to achieve this is to clear the
> enable bit for it, since the enable bit isn't guest
