hotplug_device_detach  112 kern/kern_sensors.c 	hotplug_device_detach(DV_DULL, "sensordev");
hotplug_device_detach  599 kern/subr_autoconf.c 		hotplug_device_detach(cd->cd_class, devname);
hotplug_device_detach   37 sys/hotplug.h  void	hotplug_device_detach(enum devclass, char *);