KVM_ARM_IRQ_NUM_MASK
irq_num = (irq >> KVM_ARM_IRQ_NUM_SHIFT) & KVM_ARM_IRQ_NUM_MASK;
if (intid > KVM_ARM_IRQ_NUM_MASK)
uint32_t irq = intid & KVM_ARM_IRQ_NUM_MASK;