Searched refs:tqueue_t (Results 1 - 3 of 3) sorted by relevance
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | tqueue.h | 52 } tqueue_t; typedef in typeref:struct:__anon688 60 int tqueue_alloc_id(tqueue_t *tq, unsigned int *id); 72 int tqueue_alloc_id_at(tqueue_t *tq, unsigned int id); 81 int tqueue_free_id(tqueue_t *tq, unsigned int id); 95 int tqueue_register(tqueue_t *tq, unsigned int id, timeout_t *timeout); 103 int tqueue_cancel(tqueue_t *tq, unsigned int id); 115 int tqueue_update(tqueue_t *tq, uint64_t curr_time, uint64_t *next_time); 123 int tqueue_next(tqueue_t *tq, uint64_t *next_time); 133 int tqueue_init_static(tqueue_t *tq, ps_malloc_ops_t *mops, int size);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/ |
H A D | tqueue.c | 41 int tqueue_alloc_id(tqueue_t *tq, unsigned int *id) 59 int tqueue_alloc_id_at(tqueue_t *tq, unsigned int id) 73 int tqueue_free_id(tqueue_t *tq, unsigned int id) 99 int tqueue_register(tqueue_t *tq, unsigned int id, timeout_t *timeout) 124 int tqueue_cancel(tqueue_t *tq, unsigned int id) { 145 int tqueue_update(tqueue_t *tq, uint64_t curr_time, uint64_t *next_time) { 180 int tqueue_init_static(tqueue_t *tq, ps_malloc_ops_t *mops, int size)
|
H A D | local_time_manager.c | 26 tqueue_t timeouts;
|
Completed in 80 milliseconds