devctl_reset
int devctl_reset(const char *device, bool detach);
if (devctl_reset(av[0], detach_drv) < 0)