LVT_CMCI
if (kvm_lapic_lvt_supported(apic, LVT_CMCI))
return LVT_CMCI;
[LVT_CMCI] = LVT_MASK | APIC_MODE_MASK
#define APIC_LVTx(x) ((x) == LVT_CMCI ? APIC_LVTCMCI : APIC_LVTT + 0x10 * (x))