Constant KVM_X86_SETUP_MCE 

pub const KVM_X86_SETUP_MCE: u32 = 1074310812;