The text 4fa4aabf3cf7, as Debian 5.0 (Lenny) shipped it.
disable an irq and wait for completion
disable_irq(9) on Linux now