The text 6bd9487d2015, as Debian 10 (Buster) shipped it.
manipulate device state
device_unbusy(9freebsd) on Linux now
