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);