APIC_IRR_REG
irr = apic_reg_ops->apic_read(APIC_IRR_REG + index);
irr = apic_reg_ops->apic_read(APIC_IRR_REG + index);
irr = apic_reg_ops->apic_read(APIC_IRR_REG + index);
uint32_t xen_psm_dummy_apic[APIC_IRR_REG + 1];