pub const VMX_REASON_GETSEC: u64 = 11;