pub const VMX_REASON_RSM: u64 = 17;