Symbol: MSR_IA32_VMX_PINBASED_CTLS