raspberrypi/linux — pull request #497 by jfasch (2014-01-15 08:35:31+00:00)
Title: Reverting mach/gpio.h:gpio_to_irq() removal

See the discussion in https://github.com/raspberrypi/linux/pull/495 for details.
The original issue, present in rpi-3.10.y, has been fixed in 11 and 12 by defining NEED_MACH_GPIO_H for the platform.