The text 3d28fc846bfa, as Debian 7 (Wheezy) shipped it.
disable an irq and wait for completion
disable_irq(9) on Linux now
