APIC_OFFSET_CMCI_LVT
case APIC_OFFSET_CMCI_LVT:
case APIC_OFFSET_CMCI_LVT:
case APIC_OFFSET_CMCI_LVT:
case APIC_OFFSET_CMCI_LVT:
case APIC_OFFSET_CMCI_LVT:
case APIC_OFFSET_CMCI_LVT:
case APIC_OFFSET_CMCI_LVT:
vlapic_lvt_write_handler(vlapic, APIC_OFFSET_CMCI_LVT);