The text 31e9202e6c0c, as Debian 5.0 (Lenny) shipped it.
edge type IRQ handler
handle_edge_irq(9) on Linux now
