Symbol: vmcs_getdesc
sys/amd64/vmm/intel/vmcs.c
502
ret = vmcs_getdesc(vmcs, running, seg, &desc);
sys/amd64/vmm/intel/vmcs.h
55
int vmcs_getdesc(struct vmcs *vmcs, int running, int ident,
sys/amd64/vmm/intel/vmx.c
3518
return (vmcs_getdesc(vcpu->vmcs, running, reg, desc));