__do_IRQ(9) on Linux

The text 036b94f6bc95, as Debian 6.0 (Squeeze) shipped it. The page shows this text now.

original all in one highlevel IRQ handler

__do_IRQ(9) on Linux now