APIC_EOI_REG
APIC_EOI_REG, 0);
LOCAL_APIC_WRITE_REG(APIC_EOI_REG, 0);
X2APIC_WRITE(APIC_EOI_REG, 0);
if (msr != APIC_EOI_REG) {
APIC_EOI_REG, 0);
apic_reg_ops->apic_write(APIC_EOI_REG, 0);
apic_reg_ops->apic_write(APIC_EOI_REG, 0);
xpv_apicadr[APIC_EOI_REG] = 0;
xpv_apicadr[APIC_EOI_REG] = 0;
xpv_apicadr[APIC_EOI_REG] = 0;