Constant MSR_IA32_VMX_PINBASED_CTLS 

pub const MSR_IA32_VMX_PINBASED_CTLS: u32 = 0x481;