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

/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Dstate.c42 timeserv_init(void) function
H A Dstate.h68 void timeserv_init(void);
H A Dtimer_server.c136 timeserv_init();
/seL4-refos-master/apps/timer_server/src/
H A Dstate.c42 timeserv_init(void) function
H A Dstate.h68 void timeserv_init(void);
H A Dtimer_server.c136 timeserv_init();

Completed in 27 milliseconds