The text 873475049c8d, as Debian 7 (Wheezy) shipped it.
get an IRQ for a device
platform_get_irq_byname(9) on Linux now
