Symbol: vmm_get_guest_cpu_cpl
sys/arch/amd64/amd64/vmm_machdep.c
129
int vmm_get_guest_cpu_cpl(struct vcpu *);
sys/arch/amd64/amd64/vmm_machdep.c
4075
vcpu->vc_exit.cpl = vmm_get_guest_cpu_cpl(vcpu);
sys/arch/amd64/amd64/vmm_machdep.c
4299
guest_cpl = vmm_get_guest_cpu_cpl(vcpu);
sys/arch/amd64/amd64/vmm_machdep.c
4739
guest_cpl = vmm_get_guest_cpu_cpl(vcpu);
sys/arch/amd64/amd64/vmm_machdep.c
5956
if (vmm_get_guest_cpu_cpl(vcpu) != 0) {
sys/arch/amd64/amd64/vmm_machdep.c
8099
i = vmm_get_guest_cpu_cpl(vcpu);