| 3422 | } |
| 3423 | |
| 3424 | static int |
| 3425 | vmx_getdesc(void *arg, int vcpu, int reg, struct seg_desc *desc) |
| 3426 | { |
| 3427 | int hostcpu, running; |
| 3428 | struct vmx *vmx = arg; |
| 3429 | |
| 3430 | running = vcpu_is_running(vmx->vm, vcpu, &hostcpu); |
| 3431 | if (running && hostcpu != curcpu) |
| 3432 | panic("vmx_getdesc: %s%d is running", vm_name(vmx->vm), vcpu); |
| 3433 | |
| 3434 | return (vmcs_getdesc(&vmx->vmcs[vcpu], running, reg, desc)); |
| 3435 | } |
| 3436 | |
| 3437 | static int |
| 3438 | vmx_setdesc(void *arg, int vcpu, int reg, struct seg_desc *desc) |
no test coverage detected