The text 6017ba39de4e, as Debian 10 (Buster) shipped it.
Device Dependent Transmit and Receive Functions
isc_rxd_flush(9freebsd) on Linux now
