pub const MSR_IA32_VMX_BASIC: u32 = 1152;