Name

platform_get_irq — get an IRQ for a device