Constant MSR_IA32_VMX_PROCBASED_CTLS2 

pub const MSR_IA32_VMX_PROCBASED_CTLS2: u32 = 0x48b;