/* platform_get_irq - get an IRQ for a device @dev: platform device @num: IRQ number index  */
int platform_get_irq(struct platform_device *dev, unsigned int num)
/* platform_get_irq - get an IRQ for a device @dev: platform device @num: IRQ number index  */
int platform_get_irq(struct platform_device *dev, unsigned int num)
{
	struct resource *r = platform_get_resource(dev, IORESOURCE_IRQ, num);
	return r ? r->start : -ENXIO;
}