platform_get_irq_byname(9) on Linux

The text db8c4cba4054, as Debian 8 (Jessie) shipped it. The page shows this text now.

get an IRQ for a device by name

platform_get_irq_byname(9) on Linux now