The text 6401dda944a1, as Debian 10 (Buster) shipped it.
create, attach and teardown an interrupt handler
BUS_TEARDOWN_INTR(9freebsd) on Linux now