IRQ_PEND_IO_MASK
active_mask &= ~IRQ_PEND_IO_MASK;
IRQ_PEND_IO_MASK |
if (!(pending_irqs_no_gisa(vcpu) & IRQ_PEND_IO_MASK))