pending_irqs_no_gisa
pending_mask = pending_irqs_no_gisa(vcpu);
if (!(pending_irqs_no_gisa(vcpu) & IRQ_PEND_IO_MASK))
if (!(pending_irqs_no_gisa(vcpu) & IRQ_PEND_EXT_MASK))
if (!(pending_irqs_no_gisa(vcpu) & IRQ_PEND_MCHK_MASK))