/* MSS_GPIO_config See "mss_gpio.h" for details of how to use this function.  */
void MSS_GPIO_config(mss_gpio_id_t port_id, uint32_t config)
/* MSS_GPIO_config See "mss_gpio.h" for details of how to use this function.  */
void MSS_GPIO_config(mss_gpio_id_t port_id, uint32_t config)
{
    uint32_t gpio_idx = (uint32_t)port_id;
    ASSERT( gpio_idx < NB_OF_GPIO );
    if ( gpio_idx < NB_OF_GPIO )
    {
        *(g_config_reg_lut[gpio_idx]) = config;
    }
}