The text f7c6eb93c702, as Debian 7 (Wheezy) shipped it.
edge type IRQ handler
handle_edge_irq(9) on Linux now
