APIC_LVT_ERROR
index = APIC_LVT_ERROR;
lvt == APIC_LVT_ERROR);
if (vlapic_fire_lvt(vlapic, APIC_LVT_ERROR)) {
case APIC_LVT_ERROR:
[APIC_LVT_ERROR] = {
lapic_write32(LAPIC_LVT_ERROR, lvt_mode(la, APIC_LVT_ERROR,