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 init_queue_event_task_system(void); 16 extern void put_event_task_system(task_system_ev_t event); 17 extern task_system_ev_t get_event_task_system(void); 18 extern bool any_event_task_system(void); 19 20 #ifdef __cplusplus 21 } 22 #endif 23 24 #endif /* TASK_INC_TASK_SYSTEM_INTERFACE_H_ */
