vmx_pin_based_exec_ctrl 2055 arch/x86/kvm/vmx/nested.c 	exec_control = vmx_pin_based_exec_ctrl(vmx);
vmx_pin_based_exec_ctrl 3945 arch/x86/kvm/vmx/vmx.c 	pin_controls_set(vmx, vmx_pin_based_exec_ctrl(vmx));
vmx_pin_based_exec_ctrl 4160 arch/x86/kvm/vmx/vmx.c 	pin_controls_set(vmx, vmx_pin_based_exec_ctrl(vmx));
vmx_pin_based_exec_ctrl  459 arch/x86/kvm/vmx/vmx.h u32 vmx_pin_based_exec_ctrl(struct vcpu_vmx *vmx);