vmx_get_cpl      3024 arch/x86/kvm/vmx/nested.c 	if (vmx_get_cpl(vcpu)) {
vmx_get_cpl      4456 arch/x86/kvm/vmx/nested.c 	if (vmx_get_cpl(vcpu)) {
vmx_get_cpl      7815 arch/x86/kvm/vmx/vmx.c 	.get_cpl = vmx_get_cpl,
vmx_get_cpl       316 arch/x86/kvm/vmx/vmx.h int vmx_get_cpl(struct kvm_vcpu *vcpu);