On Mon, 2016-08-01 at 18:07 +1000, Nicholas Piggin wrote: > This will replay hardware_interrupt_common in the case we got a PMI > interrupt but no EE. > > Should we just follow the normal pattern here, return 0xf00 for PMI, > and replay the same as the other cases? Agreed. Cheers, Ben.