vmx_get_cpl
return vmx_get_cpl(vcpu);
if (vmx_get_cpl(vcpu)) {
if (vmx_get_cpl(vcpu)) {
return vmx_get_cpl(vcpu) == 3 && kvm_is_cr0_bit_set(vcpu, X86_CR0_AM) &&
if (vmx_get_cpl(vcpu) > 0)
int vmx_get_cpl(struct kvm_vcpu *vcpu);
int vmx_get_cpl(struct kvm_vcpu *vcpu);