carta

disable_irq(9) on Linux

The text 704974279926, as Debian 4.0 (Etch) shipped it.

disable an irq and wait for completion

disable_irq(9) on Linux now