devctl_detach_handler
EVENTHANDLER_REGISTER(device_detach, devctl_detach_handler,
static void devctl_detach_handler(void *arg __unused, device_t dev,