* notify it to the system console and then terminate the FRSH
* implementation and dependant applications
**/
-
int fosa_thread_set_del(fosa_thread_set_id_t set,
fosa_thread_id_t thread_id);
/**
- * fosa_get_setcpu_clock()
+ * fosa_get_groupcpu_clock()
*
* Get the identifier of a cpu-time clock associated to a thread
* set
* notify it to the system console and then terminate the FRSH
* implementation and dependant applications
**/
-
int fosa_get_groupcpu_clock(const fosa_thread_set_id_t set,
fosa_clock_id_t *clock_id);