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