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