The text f8b8bb413a51, as Debian 8 (Jessie) shipped it.
disable an irq and wait for completion
disable_irq(9) on Linux now
