raspberrypi/linux — pull request #506 by jfasch (2014-01-19 18:53:17+00:00)
Title: Please pull: NEED_MACH_GPIO_H vs. gpio_to_irq() woes

See https://github.com/raspberrypi/linux/pull/495#issuecomment-32377107 for the discussion.