The text 8088b033ca8a, as FreeBSD 12.3-RELEASE shipped it.
detach a device
DEVICE_DETACH(9) on FreeBSD now