APIC_LVT_LINT0
lapic_set_local_intr(vatpic->vm, NULL, APIC_LVT_LINT0);
index = APIC_LVT_LINT0;
case APIC_LVT_LINT0:
case APIC_LVT_LINT0:
pin = APIC_LVT_LINT0;
[APIC_LVT_LINT0] = {
lapic_write32(LAPIC_LVT_LINT0, lvt_mode(la, APIC_LVT_LINT0,
pin = APIC_LVT_LINT0;
lapic_set_lvt_mode(APIC_ID_ALL, APIC_LVT_LINT0,