platform_get_irq_byname — get an IRQ for a device
int platform_get_irq_byname (
)
dev
platform device
name
IRQ name