pin_controls_set 2066 arch/x86/kvm/vmx/nested.c 	pin_controls_set(vmx, exec_control);
pin_controls_set 3945 arch/x86/kvm/vmx/vmx.c 	pin_controls_set(vmx, vmx_pin_based_exec_ctrl(vmx));
pin_controls_set 4160 arch/x86/kvm/vmx/vmx.c 	pin_controls_set(vmx, vmx_pin_based_exec_ctrl(vmx));