PACA_IRQ_PMI
get_paca()->irq_happened |= PACA_IRQ_PMI;
get_paca()->irq_happened &= ~PACA_IRQ_PMI;
if (get_paca()->irq_happened & PACA_IRQ_PMI)
#define PACA_IRQ_MUST_HARD_MASK (PACA_IRQ_EE|PACA_IRQ_PMI|PACA_IRQ_REPLAYING)
irq_happened_test_and_clear(PACA_IRQ_PMI)) {