VM_GET_SEGMENT_DESCRIPTOR
{ (uint_t)VM_GET_SEGMENT_DESCRIPTOR, "VM_GET_SEGMENT_DESCRIPTOR",
VM_SET_SEGMENT_DESCRIPTOR, VM_GET_SEGMENT_DESCRIPTOR,
error = vcpu_ioctl(vcpu, VM_GET_SEGMENT_DESCRIPTOR, &vmsegdesc);
case VM_GET_SEGMENT_DESCRIPTOR: {
case VM_GET_SEGMENT_DESCRIPTOR: