pub const VMX_REASON_VMREAD: u64 = 23;