platform_get_irq — get an IRQ for a device
int platform_get_irq (
)
dev
platform device
num
IRQ number index