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? r~