Searched defs:tq (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/projects/util_libs/libplatsupport/src/ |
| H A D | tqueue.c | 41 int tqueue_alloc_id(tqueue_t *tq, unsigned int *id) argument
59 int tqueue_alloc_id_at(tqueue_t *tq, unsigned int id) argument
73 tqueue_free_id(tqueue_t *tq, unsigned int id) argument
99 tqueue_register(tqueue_t *tq, unsigned int id, timeout_t *timeout) argument
124 tqueue_cancel(tqueue_t *tq, unsigned int id) argument
145 tqueue_update(tqueue_t *tq, uint64_t curr_time, uint64_t *next_time) argument
180 tqueue_init_static(tqueue_t *tq, ps_malloc_ops_t *mops, int size) argument
[all...] |
Completed in 21 milliseconds