Name

platform_get_irq_byname — get an IRQ for a device