pinbased_ctls_high   32 arch/x86/kvm/vmx/capabilities.h 	u32 pinbased_ctls_high;
pinbased_ctls_high  364 arch/x86/kvm/vmx/evmcs.c 	vmx->nested.msrs.pinbased_ctls_high &= ~EVMCS1_UNSUPPORTED_PINCTRL;
pinbased_ctls_high 1095 arch/x86/kvm/vmx/nested.c 		highp = &vmx->nested.msrs.pinbased_ctls_high;
pinbased_ctls_high 1148 arch/x86/kvm/vmx/nested.c 	if ((vmx->nested.msrs.pinbased_ctls_high &
pinbased_ctls_high 1291 arch/x86/kvm/vmx/nested.c 			msrs->pinbased_ctls_high);
pinbased_ctls_high 2508 arch/x86/kvm/vmx/nested.c 				   vmx->nested.msrs.pinbased_ctls_high)) ||
pinbased_ctls_high 5813 arch/x86/kvm/vmx/nested.c 		msrs->pinbased_ctls_high);
pinbased_ctls_high 5816 arch/x86/kvm/vmx/nested.c 	msrs->pinbased_ctls_high &=
pinbased_ctls_high 5821 arch/x86/kvm/vmx/nested.c 	msrs->pinbased_ctls_high |=