The text bc2102dd6e13, as Debian 8 (Jessie) shipped it. The page shows this text now.
get an IRQ for a device
platform_get_irq(9) on Linux now
