The text 95c24e28cbaf, as Debian 4.0 (Etch) shipped it.
disable an irq without waiting
disable_irq_nosync(9) on Linux now
