Symbol: lpc18xx_pin_to_gpio