VM_RESET_CPU
{ (uint_t)VM_RESET_CPU, "VM_RESET_CPU", NULL },
return (vcpu_ioctl(vcpu, VM_RESET_CPU, &vvr));
case VM_RESET_CPU: {
case VM_RESET_CPU: