* notify it to the system console and then terminate the FRSH
* implementation and dependant applications
**/
-int fosa_thread_get_cputime_clock(frsh_thread_id_t tid, fosa_clock_id_t *clockid);
+int fosa_thread_get_cputime_clock(fosa_thread_id_t tid, fosa_clock_id_t *clockid);
/*************************
* implementation and dependant applications
**/
int fosa_timer_create
- (fosa_clock_id_t clockid, frsh_signal_t signal, frsh_signal_info_t info,
+ (fosa_clock_id_t clockid, fosa_signal_t signal, fosa_signal_info_t info,
fosa_timer_id_t *timerid);
/**
* implementation and dependant applications
**/
int fosa_timer_create_with_receiver
- (fosa_clock_id_t clockid, frsh_signal_t signal, frsh_signal_info_t info,
- fosa_timer_id_t *timerid, frsh_thread_id_t receiver);
+ (fosa_clock_id_t clockid, fosa_signal_t signal, fosa_signal_info_t info,
+ fosa_timer_id_t *timerid, fosa_thread_id_t receiver);
/**
* fosa_timer_delete()