On Mon, 17 Jun 2019 at 20:28, Richard Henderson <richard.hender...@linaro.org> wrote: > > On 6/17/19 10:53 AM, Peter Maydell wrote: > > + * The HardFault is Secure if BFHFNMINS is 0 (meaning that all HFs are > > + * secure); otherwise it targets the same security state as the > > + * underlying exception. > > */ > > - exc_secure = targets_secure || > > - !(cpu->env.v7m.aircr & R_V7M_AIRCR_BFHFNMINS_MASK); > > + if (!(cpu->env.v7m.aircr & R_V7M_AIRCR_BFHFNMINS_MASK)) { > > + exc_secure = false; > > + } > > exc_secure = true, surely?
Yep, good catch. I got it right in the comment text :-) thanks -- PMM