Searched refs:_periodic (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/projects/global-components/components/TimeServer/src/
H A Dtime_server.c133 static int _periodic(int cid, int tid, uint64_t ns) function
203 return _periodic(the_timer_get_sender_id() - 1, id, ns);

Completed in 124 milliseconds