Searched defs:refos_init_timer (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/libs/librefossys/src/
H A Dsys_timer.c25 refos_init_timer(char *dspacePath) function
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/
H A Dsys_timer.c25 refos_init_timer(char *dspacePath) function

Completed in 27 milliseconds