The text 2f8447c7369a, as Debian 8 (Jessie) shipped it.
edge eoi type IRQ handler
handle_edge_eoi_irq(9) on Linux now
