vmx_exec_control 2071 arch/x86/kvm/vmx/nested.c 	exec_control = vmx_exec_control(vmx); /* L0's desires */
vmx_exec_control 4163 arch/x86/kvm/vmx/vmx.c 	exec_controls_set(vmx, vmx_exec_control(vmx));
vmx_exec_control  458 arch/x86/kvm/vmx/vmx.h u32 vmx_exec_control(struct vcpu_vmx *vmx);