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

/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dtqueue.h31 } timeout_t; typedef in typeref:struct:__anon687
35 timeout_t timeout;
95 int tqueue_register(tqueue_t *tq, unsigned int id, timeout_t *timeout);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/
H A Dlocal_time_manager.c96 timeout_t timeout = {0};
H A Dtqueue.c99 int tqueue_register(tqueue_t *tq, unsigned int id, timeout_t *timeout)

Completed in 88 milliseconds