evmcs_sanitize_exec_ctrls  187 arch/x86/kvm/vmx/evmcs.h void evmcs_sanitize_exec_ctrls(struct vmcs_config *vmcs_conf);
evmcs_sanitize_exec_ctrls 2497 arch/x86/kvm/vmx/vmx.c 		evmcs_sanitize_exec_ctrls(vmcs_conf);