pub const VMX_REASON_INVVPID: u64 = 53;