The text a38ae16c06fd, as FreeBSD 11.4-RELEASE shipped it.
delete a child from a device
device_delete_child(9) on FreeBSD now