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