APIC_LVT_LINT1
index = APIC_LVT_LINT1;
case APIC_LVT_LINT1:
case APIC_LVT_LINT1:
pin = APIC_LVT_LINT1;
[APIC_LVT_LINT1] = {
lapic_write32(LAPIC_LVT_LINT1, lvt_mode(la, APIC_LVT_LINT1,
pin = APIC_LVT_LINT1;
lapic_set_lvt_mode(APIC_ID_ALL, APIC_LVT_LINT1, APIC_LVT_DM_NMI);