The text 346063a03a18, as Debian 5.0 (Lenny) shipped it.
get an IRQ for a device
platform_get_irq_byname(9) on Linux now
