pub const VMX_REASON_VMON: u64 = 27;