VM_SET_REGISTER_SET
{ (uint_t)VM_SET_REGISTER_SET, "VM_SET_REGISTER_SET", NULL },
VM_SET_REGISTER_SET, VM_GET_REGISTER_SET,
error = vcpu_ioctl(vcpu, VM_SET_REGISTER_SET, &vmregset);
case VM_SET_REGISTER_SET: {
case VM_SET_REGISTER_SET: