I have an LPXCpresso43S67 board which I finally have working with the LPCxpresso IDE. I want to simply drive one of the GPIOs that goes to the Arduino headers. Looking online I found this pic. below describing the pins. So for example if I wanted to drive P2_13, would the code be? I.e. what is the mapping of ports & pins to those Arduino headers?
Chip_GPIO_SetPinState(LPC_GPIO_PORT, 2, 13, true);