KVMPPC_GSE_INTR_REGS_END
(KVMPPC_GSE_INTR_REGS_END - KVMPPC_GSE_INTR_REGS_START + 1)
(iden <= KVMPPC_GSE_INTR_REGS_END))