The text c184d844f2c7, as Debian 4.0 (Etch) shipped it.
get an IRQ for a device
platform_get_irq_byname(9) on Linux now
