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