secondary_exec_controls_get 3662 arch/x86/kvm/vmx/vmx.c 	    (secondary_exec_controls_get(to_vmx(vcpu)) &
secondary_exec_controls_get 6050 arch/x86/kvm/vmx/vmx.c 	sec_exec_control = secondary_exec_controls_get(vmx);
secondary_exec_controls_get 6929 arch/x86/kvm/vmx/vmx.c 	u32 cur_ctl = secondary_exec_controls_get(vmx);