firmware-nucleo/App/Inc/task_system_interface.h (667B)
1 /* 2 * Copyright (c) 2023 Juan Manuel Cruz <jcruz@fi.uba.ar> <jcruz@frba.utn.edu.ar>. 3 * Copyright (c) 2026 Martin Javier Klöckner <mklockner@fi.uba.ar> 4 * 5 * See file `LICENSE` for full details 6 */ 7 8 #ifndef TASK_INC_TASK_SYSTEM_INTERFACE_H_ 9 #define TASK_INC_TASK_SYSTEM_INTERFACE_H_ 10 11 #ifdef __cplusplus 12 extern "C" { 13 #endif 14 15 extern void task_system_interface_init_event_queue(void); 16 extern void task_system_interface_put_event(task_system_ev_t event); 17 extern task_system_ev_t task_system_interface_get_event(void); 18 extern bool task_system_interface_any_event(void); 19 20 #ifdef __cplusplus 21 } 22 #endif 23 24 #endif /* TASK_INC_TASK_SYSTEM_INTERFACE_H_ */