The text 76432ff8395d, as Debian 4.0 (Etch) shipped it.
enable handling of an irq
enable_irq(9) on Linux now
