The text e6a4ad80e939, as Debian 7 (Wheezy) shipped it.
trigger an interrupt event
uio_event_notify(9) on Linux now
