Constant MSR_IA32_VMX_PROCBASED_CTLS3 

pub const MSR_IA32_VMX_PROCBASED_CTLS3: u32 = 0x492;