/* gpio init ,Set the GPC12 as gpio output.  */
void GPIOInit()
/* gpio init ,Set the GPC12 as gpio output.  */
void GPIOInit()
{
    xGPIODirModeSet(GPIO_PORTC_BASE, GPIO_BIT_12, GPIO_DIR_MODE_OUT);
    xGPIOPinWrite(GPIO_PORTC_BASE, GPIO_PIN_12, 1);
}