The text 3d9c09880a5c, as Debian 10 (Buster) shipped it.
BHND driver programming interface
bhnd_get_core_info(9freebsd) on Linux now
