carta

enable_irq(9) on Linux

The text b6e230d800f9, as Debian 8 (Jessie) shipped it.

enable handling of an irq

enable_irq(9) on Linux now