pub const VMX_REASON_VMENTRY_MC: u64 = 41;