| 3435 | } |
| 3436 | |
| 3437 | static int |
| 3438 | vmx_setdesc(void *arg, int vcpu, int reg, struct seg_desc *desc) |
| 3439 | { |
| 3440 | int hostcpu, running; |
| 3441 | struct vmx *vmx = arg; |
| 3442 | |
| 3443 | running = vcpu_is_running(vmx->vm, vcpu, &hostcpu); |
| 3444 | if (running && hostcpu != curcpu) |
| 3445 | panic("vmx_setdesc: %s%d is running", vm_name(vmx->vm), vcpu); |
| 3446 | |
| 3447 | return (vmcs_setdesc(&vmx->vmcs[vcpu], running, reg, desc)); |
| 3448 | } |
| 3449 | |
| 3450 | static int |
| 3451 | vmx_getcap(void *arg, int vcpu, int type, int *retval) |
nothing calls this directly
no test coverage detected