pub const VMX_REASON_MWAIT: u64 = 36;