Searched refs:vmx_getdesc (Results 1 - 1 of 1) sorted by relevance
| /freebsd-12-stable/sys/amd64/vmm/intel/ |
| H A D | vmx.c | 299 static int vmx_getdesc(void *arg, int vcpu, int reg, struct seg_desc *desc);
2000 error = vmx_getdesc(vmx, vcpuid, vis->seg_name, &vis->seg_desc);
2001 KASSERT(error == 0, ("%s: vmx_getdesc error %d", __func__, error));
3407 vmx_getdesc(void *arg, int vcpu, int reg, struct seg_desc *desc) function
3414 panic("vmx_getdesc: %s%d is running", vm_name(vmx->vm), vcpu);
4026 .vmgetdesc = vmx_getdesc,
|
Completed in 51 milliseconds