pub const VMX_REASON_INVPCID: u64 = 58;