Symbol: vmcs_setdesc
sys/amd64/vmm/intel/vmcs.c
514
ret = vmcs_setdesc(vmcs, running, seg, &desc);
sys/amd64/vmm/intel/vmcs.h
57
int vmcs_setdesc(struct vmcs *vmcs, int running, int ident,
sys/amd64/vmm/intel/vmx.c
3533
return (vmcs_setdesc(vcpu->vmcs, running, reg, desc));