/*
 * Copyright (c) 2023 Juan Manuel Cruz <jcruz@fi.uba.ar> <jcruz@frba.utn.edu.ar>.
 * Copyright (c) 2026 Martin Javier Klöckner <mklockner@fi.uba.ar>
 *
 * See file `LICENSE` for full details
 */

#include "main.h"

#include "logger.h"
#include "dwt.h"

#include "app.h"
#include "task_buzzer_attribute.h"

void task_buzzer_interface_put_event(task_buzzer_ev_t event, task_buzzer_id_t identifier)
{
    task_buzzer_dta_t *p_task_buzzer_dta;
    p_task_buzzer_dta = &task_buzzer_dta_list[identifier];
    p_task_buzzer_dta->event = event;
    p_task_buzzer_dta->event_flag = true;
}
