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

/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dtqueue.h52 } 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 Dtqueue.c41 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 Dlocal_time_manager.c26 tqueue_t timeouts;

Completed in 42 milliseconds