APIC_VERS_REG
nlvt = ((apic_reg_ops->apic_read(APIC_VERS_REG) >> 16) &
ver = apic_reg_ops->apic_read(APIC_VERS_REG);
nlvt = ((apic_reg_ops->apic_read(APIC_VERS_REG) >> 16) &
ver = apic_reg_ops->apic_read(APIC_VERS_REG);
xen_psm_dummy_apic[APIC_VERS_REG] = APIC_INTEGRATED_VERS;