pub const VMX_REASON_WRMSR: u64 = 32;