The text ae24d507ae94, as Debian 10 (Buster) shipped it.
kernel event handling functions
EVENTHANDLER(9freebsd) on Linux now
