#define GPIO_PORT_SHIFT 12


typedef enum {
    P0_00  = (0 << GPIO_PORT_SHIFT | 0 ),
    P0_01  = (0 << GPIO_PORT_SHIFT | 1 ),
    P0_02  = (0 << GPIO_PORT_SHIFT | 2 ),
    P0_03  = (0 << GPIO_PORT_SHIFT | 3 ),
    P0_04  = (0 << GPIO_PORT_SHIFT | 4 ),
    P0_05  = (0 << GPIO_PORT_SHIFT | 5 ),
    P0_06  = (0 << GPIO_PORT_SHIFT | 6 ),
    P0_07  = (0 << GPIO_PORT_SHIFT | 7 ),
    P0_08  = (0 << GPIO_PORT_SHIFT | 8 ),
    P0_09  = (0 << GPIO_PORT_SHIFT | 9 ),
    P0_10 = (0 << GPIO_PORT_SHIFT | 10),
    P0_11 = (0 << GPIO_PORT_SHIFT | 11),
    P0_12 = (0 << GPIO_PORT_SHIFT | 12),
    P0_13 = (0 << GPIO_PORT_SHIFT | 13),
    P0_14 = (0 << GPIO_PORT_SHIFT | 14),
    P0_15 = (0 << GPIO_PORT_SHIFT | 15),
    P1_00  = (1 << GPIO_PORT_SHIFT | 0 ),
    P1_01  = (1 << GPIO_PORT_SHIFT | 1 ),
    P1_02  = (1 << GPIO_PORT_SHIFT | 2 ),
    P1_03  = (1 << GPIO_PORT_SHIFT | 3 ),
    P1_04  = (1 << GPIO_PORT_SHIFT | 4 ),
    P1_05  = (1 << GPIO_PORT_SHIFT | 5 ),
    P1_06  = (1 << GPIO_PORT_SHIFT | 6 ),
    P1_07  = (1 << GPIO_PORT_SHIFT | 7 ),
    P1_08  = (1 << GPIO_PORT_SHIFT | 8 ),
    P1_09  = (1 << GPIO_PORT_SHIFT | 9 ),
    P1_10 = (1 << GPIO_PORT_SHIFT | 10),
    P1_11 = (1 << GPIO_PORT_SHIFT | 11),
    P1_12 = (1 << GPIO_PORT_SHIFT | 12),
    P1_13 = (1 << GPIO_PORT_SHIFT | 13),
    P1_14 = (1 << GPIO_PORT_SHIFT | 14),
    P1_15 = (1 << GPIO_PORT_SHIFT | 15),
    P2_00  = (2 << GPIO_PORT_SHIFT | 0 ),
    P2_01  = (2 << GPIO_PORT_SHIFT | 1 ),
    P2_02  = (2 << GPIO_PORT_SHIFT | 2 ),
    P2_03  = (2 << GPIO_PORT_SHIFT | 3 ),
    P2_04  = (2 << GPIO_PORT_SHIFT | 4 ),
    P2_05  = (2 << GPIO_PORT_SHIFT | 5 ),
    P2_06  = (2 << GPIO_PORT_SHIFT | 6 ),
    P2_07  = (2 << GPIO_PORT_SHIFT | 7 ),
    P2_08  = (2 << GPIO_PORT_SHIFT | 8 ),
    P2_09  = (2 << GPIO_PORT_SHIFT | 9 ),
    P2_10 = (2 << GPIO_PORT_SHIFT | 10),
    P2_11 = (2 << GPIO_PORT_SHIFT | 11),

    // USB Pins
    USBTX = P0_10,
    USBRX = P0_11,
    USBTX1 = P1_15,
    USBRX1 = P2_00,

    // mbed original LED naming
    LED1 = P2_02,
    LED2 = P2_10,
    LED3 = LED2,
    LED4 = LED1,

    //Push buttons
    PB0 = P1_00,        // BTN1
    PB1 = P0_09,        // BTN2
    BUTTON1 = P1_00,    // BTN1
    BUTTON2 = P0_09,    // BTN2

    BOOT = P1_01,
    WAKE0 = P0_15,      // JP15 to select
    WAKE1 = P1_00,      // JP8 (BTN1 jumper) to select
    WAKE2 = P0_13,      // JP4 to select
    WAKE3 = P2_01,      // JP15 to select

    // SPI Pins
    SPI0_SCLK = P0_00,
    SPI0_MOSI = P0_01,
    SPI0_MISO = P0_02,
    SPI0_CS0 = P0_03,
    SPI0_CS1 = P1_10,
    SPI0_CS2 = P2_08,
    SPI0_CS3 = P2_09,

    SPI1_SCLK = P1_06,
    SPI1_MOSI = P1_07,
    SPI1_MISO = P1_08,
    SPI1_CS0 = P1_09,
    SPI1_CS1 = P2_11,
    SPI1_CS2 = P2_02,
    SPI1_CS3 = P1_10,

    SPI2_SCLK = P1_02,
    SPI2_MOSI = P1_03,
    SPI2_MISO = P1_04,
    SPI2_CS0 = P1_05,
    SPI2_CS1 = P0_09,
    SPI2_CS2 = P2_10,
    SPI2_CS3 = P2_07,

    // ADC Pins
    ADC_VIN0 = P2_03,
    ADC_VIN1 = P2_04,
    ADC_VIN2 = P2_05,
    ADC_VIN3 = P2_06,
    ADC_VIN4 = P2_07,
    ADC_VIN5 = P2_08,
    ADC_VIN6 = P2_09,
    ADC_VIN7 = P2_10,

    // Arduino Headers
    D0 = P0_10,        // UART0_TXD
    D1 = P0_11,        // UART0_RXD
    D2 = P0_15,        // INT_WAKE0
    D3 = P0_13,        // EXT_INT_WAKE2
    D4 = P0_09,        // EXT_SPI2_CS1
    D5 = P2_01,        // INT_WAKE3 or EXT_RTC1_SS1 via JP8
    D6 = P1_11,        // GPIO_27
    D7 = P0_12,        // GPIO_08 or GPIO_12 via JP7

    D8 = P1_12,         // GPIO_28
    D9 = P1_14,         // GPIO_30
    D10 = SPI0_CS2,     // P2_08
    D11 = SPI0_MOSI,    // P0_01
    D12 = SPI0_MISO,    // P0_02
    D13 = SPI0_SCLK,    // P0_00
    I2C_SCL = P0_04,    // I2C_SCL
    I2C_SDA = P0_05,    // I2C_SDA

    A0 = P2_03,         // ADC0
    A1 = P2_04,         // EXT_ADC1
    A2 = P2_05,         // EXT_ADC2
    A3 = P2_06,         // ADC3
    A4 = P2_07,         // SPI2_CS3
    A5 = P2_10,         // EXT_GPIO42

    // Not connected
    NC = (int)0xFFFFFFFF
} PinName;