Symbol: __vmx_get_cpl
arch/x86/kvm/vmx/vmx.c
3771
return __vmx_get_cpl(vcpu, false);
arch/x86/kvm/vmx/vmx.c
3776
return __vmx_get_cpl(vcpu, true);