pub const VMX_REASON_PAUSE: u64 = 40;