/* 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_setting;
    uint32_t gpio_idx = (uint32_t)port_id;
    ASSERT(gpio_idx < NB_OF_GPIO);
    if(gpio_idx < NB_OF_GPIO)
    {
        gpio_setting = GPIO->GPIO_OUT;
        gpio_setting &= ~((uint32_t)0x01u << gpio_idx);
        gpio_setting |= ((uint32_t)value & 0x01u) << gpio_idx;
        GPIO->GPIO_OUT = gpio_setting;
    }
}