mbedmicro/mbed — pull request #60 by jorisa (2013-09-09 02:01:29+00:00)
Title: Fix MASKED_ACCESS bug in gpio_init

Now same as LPC11xx (Also use PIN_SHIFT instead of magic number 8 in gpio_set)