Symbol: vmx_get_cpl_no_cache
arch/x86/kvm/vmx/main.c
375
return vmx_get_cpl_no_cache(vcpu);
arch/x86/kvm/vmx/vmx.h
352
int vmx_get_cpl_no_cache(struct kvm_vcpu *vcpu);