The text e18fb81a51f9, as Debian 6.0 (Squeeze) shipped it.
get an IRQ for a device
platform_get_irq_byname(9) on Linux now
