mbedmicro/mbed — pull request #268 by cfb95 (2014-04-19 16:54:48+00:00)
Title: Update gpio_irq_api.c

enable 16 irq channels, expanding EXTI9_5_IRQn and EXTI15_10_IRQn