kvm_lapic_lvt_supported
if (kvm_lapic_lvt_supported(apic, LVT_CMCI))
if (!kvm_lapic_lvt_supported(apic, index)) {