pub const VMX_REASON_VMPTRST: u64 = 22;