IRQ_PEND_MCHK_MASK
active_mask &= ~IRQ_PEND_MCHK_MASK;
IRQ_PEND_MCHK_MASK);
if (!(pending_irqs_no_gisa(vcpu) & IRQ_PEND_MCHK_MASK))