John Baldwin 88eb5c506d Add 'devctl delete' that calls device_delete_child(). ... 'devctl delete' can be used to delete a device that is no longer present. As an anti-foot-shooting measure, 'delete' will not delete a device unless it's parent bus says it is no longer present. This can be overridden by passing the force ('-f') flag. Note that this command should be used with care. If a device is deleted that is actually present it can't be resurrected unless the parent bus device's driver supports rescans. Differential Revision: https://reviews.freebsd.org/D6019		2016-04-27 16:33:17 +00:00
..
devctl.8	Add 'devctl delete' that calls device_delete_child().	2016-04-27 16:33:17 +00:00
devctl.c	Add 'devctl delete' that calls device_delete_child().	2016-04-27 16:33:17 +00:00
Makefile	install the man page...	2015-02-16 02:20:11 +00:00
Makefile.depend	META MODE: Update dependencies with 'the-lot' and add missing directories.	2015-12-01 05:23:19 +00:00