pub const VMX_REASON_VMENTRY_MSR: u64 = 34;