platform_get_irq — get an IRQ for a device
int platform_get_irq (struct platform_device * dev, unsigned int num);
int platform_get_irq
platform device
IRQ number index