device_get_name(9freebsd) on Linux

The text 7fddbe19c5b3, as Debian 5.0 (Lenny) shipped it.

access the name of a device's device class or instance

device_get_name(9freebsd) on Linux now