APIC_LVT1
v = apic_read(APIC_LVT1);
apic_write(APIC_LVT1, v | APIC_LVT_MASKED);
apic_write(APIC_LVT1, APIC_LVT_MASKED);
apic_write(APIC_LVT1, value);
apic_write(APIC_LVT1, value);
value = apic_read(APIC_LVT1);
apic_write(APIC_LVT1, value);
apic_pm_state.apic_lvt1 = apic_read(APIC_LVT1);
apic_write(APIC_LVT1, apic_pm_state.apic_lvt1);
v = apic_read(APIC_LVT1);
case APIC_LVT1:
case APIC_LVT1:
APIC_REG_MASK(APIC_LVT1) |
case APIC_LVT1:
X2APIC_MSR(APIC_LVT1),
case APIC_LVT1:
value = apic_read(APIC_LVT1) | APIC_DM_NMI;
apic_write(APIC_LVT1, value);