svm_get_cpl
if (svm_get_cpl(vcpu) != 3)
in_kernel = !is_sev_es_guest(vcpu) && svm_get_cpl(vcpu) == 0;
is_user = svm_get_cpl(vcpu) == 3;
.get_cpl = svm_get_cpl,
.get_cpl_no_cache = svm_get_cpl,