The text 6d4dc167db7c, as Debian 5.0 (Lenny) shipped it.
original all in one highlevel IRQ handler
__do_IRQ(9) on Linux now
