VM_GET_SEGMENT_DESCRIPTOR
error = vcpu_ioctl(vcpu, VM_GET_SEGMENT_DESCRIPTOR, &vmsegdesc);
VM_GET_SEGMENT_DESCRIPTOR, \
VMMDEV_IOCTL(VM_GET_SEGMENT_DESCRIPTOR, VMMDEV_IOCTL_LOCK_ONE_VCPU),
case VM_GET_SEGMENT_DESCRIPTOR: {