VM_REG_GUEST_IDTR
error = vm_set_desc(vcpu, VM_REG_GUEST_IDTR,
error = vm_get_desc(vcpu, VM_REG_GUEST_IDTR,
VM_REG_GUEST_IDTR,
error = vm_set_desc(vcpu, VM_REG_GUEST_IDTR,
err = vm_set_desc(vcpu, VM_REG_GUEST_IDTR, MEM_LOC_IDT, 0xfff, 0);
case VM_REG_GUEST_IDTR:
case VM_REG_GUEST_IDTR:
case VM_REG_GUEST_IDTR:
case VM_REG_GUEST_IDTR:
case VM_REG_GUEST_IDTR:
case VM_REG_GUEST_IDTR:
case VM_REG_GUEST_IDTR:
VERIFY0(vm_set_seg_desc(vm, vcpuid, VM_REG_GUEST_IDTR, &desc));