The text 968851c20edb, as Debian 6.0 (Squeeze) shipped it.
Simple and software-decoded IRQs.
handle_simple_irq(9) on Linux now
