The text c57e45710b21, as Debian 5.0 (Lenny) shipped it.
disable an irq without waiting
disable_irq_nosync(9) on Linux now
