/* Config the GPIO pin used as EINT Line.  */
void SYSCFG_ConfigEINTLine(SYSCFG_PORT_T port, SYSCFG_PIN_T pin)
/* Config the GPIO pin used as EINT Line.  */
void SYSCFG_ConfigEINTLine(SYSCFG_PORT_T port, SYSCFG_PIN_T pin)
{
    uint32_t status;
    status = ((uint32_t)(port & 0x0F)) << (0x04 * (pin & 0x03));
    if ((pin >> 2) == 0)
    {
        SYSCFG->EINTCFG1 |= status;
    }
    else if ((pin >> 2) == 1)
    {
        SYSCFG->EINTCFG2 |= status;
    }
    else if ((pin >> 2) == 2)
    {
        SYSCFG->EINTCFG3 |= status;
    }
    else if ((pin >> 2) == 3)
    {
        SYSCFG->EINTCFG4 |= status;
    }
}