raspberrypi/linux — pull request #507 by jfasch (2014-01-19 18:55:34+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.