pub const VMX_REASON_XSAVES: u64 = 63;