carta

disable_irq(9) on Linux

The text 96fc3ebae514, as Debian 6.0 (Squeeze) shipped it.

disable an irq and wait for completion

disable_irq(9) on Linux now