carta

disable_irq(9) on Linux

The text 4fa4aabf3cf7, as Debian 5.0 (Lenny) shipped it.

disable an irq and wait for completion

disable_irq(9) on Linux now