The text ad0efff3ca9d, as Debian 8 (Jessie) shipped it.
set the irq trigger type for an irq
irq_set_irq_type(9) on Linux now
