The text c9d78a288b52, as Debian 10 (Buster) shipped it.
manipulate device quiet flag
device_quiet(9freebsd) on Linux now
