usb4bsd/controller: Use device_delete_children().
[dragonfly.git] / share / man / 
treee012fbe100873eddceb0b8cffbbfc1c00e7bdaab
drwxr-xr-x   ..
-rw-r--r-- 509 Makefile
drwxr-xr-x - man1
drwxr-xr-x - man3
drwxr-xr-x - man4
drwxr-xr-x - man5
drwxr-xr-x - man6
drwxr-xr-x - man7
drwxr-xr-x - man8
drwxr-xr-x - man9