The text 9c2065fbea8d, as Debian 4.0 (Etch) shipped it.
initialize a dynamically allocated irq
dynamic_irq_init(9) on Linux now