APIC_LVT_CMCI
index = APIC_LVT_CMCI;
if (vlapic_fire_lvt(vlapic, APIC_LVT_CMCI)) {
case APIC_LVT_CMCI:
#define VLAPIC_MAXLVT_INDEX APIC_LVT_CMCI
#define APIC_LVT_MAX APIC_LVT_CMCI
lapics[apic_id].la_lvts[APIC_LVT_CMCI].lvt_masked = 0;
lapics[apic_id].la_lvts[APIC_LVT_CMCI].lvt_active = 1;
[APIC_LVT_CMCI] = {
if (maxlvt >= APIC_LVT_CMCI)
if (maxlvt >= APIC_LVT_CMCI) {
lapic_write32(LAPIC_LVT_CMCI, lvt_mode(la, APIC_LVT_CMCI,