/* MSS_GPIO_set_output See "mss_gpio.h" for details of how to use this function.  */
void MSS_GPIO_set_output(mss_gpio_id_t port_id, uint8_t value)
/* MSS_GPIO_set_output See "mss_gpio.h" for details of how to use this function.  */
void MSS_GPIO_set_output(mss_gpio_id_t port_id, uint8_t value)
{
    uint32_t gpio_idx = (uint32_t)port_id;
    ASSERT( gpio_idx < NB_OF_GPIO );
    if ( gpio_idx < NB_OF_GPIO )
    {
        GPIO_BITBAND->GPIO_OUT[gpio_idx] = (uint32_t)value;
    }
}