Searched refs:tq (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/projects/util_libs/libplatsupport/src/
H A Dtqueue.c41 int tqueue_alloc_id(tqueue_t *tq, unsigned int *id) argument
43 if (!tq || !id) {
47 for (int i = 0; i < tq->n; i++) {
48 if (!tq->array[i].allocated) {
49 tq->array[i].allocated = true;
59 int tqueue_alloc_id_at(tqueue_t *tq, unsigned int id) argument
61 if (!tq || id >= tq->n) {
65 if (tq->array[id].allocated) {
69 tq
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...]
/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dtqueue.h58 * @return ENOMEM if there are no free ids, EINVAL if tq or id are NULL, 0 on success.
60 int tqueue_alloc_id(tqueue_t *tq, unsigned int *id);
68 * EINVAL if tq is NULL or id is invalid,
72 int tqueue_alloc_id_at(tqueue_t *tq, unsigned int id);
79 * @return EINVAL if tq is NULL or id is invalid (not allocated by tqueue_alloc_id), 0 on sucess.
81 int tqueue_free_id(tqueue_t *tq, unsigned int id);
92 * @return EINVAL if id or tq are invalid, 0 on success.
95 int tqueue_register(tqueue_t *tq, unsigned int id, timeout_t *timeout);
101 * @return EINVAL if id or tq are invalid, 0 on success.
103 int tqueue_cancel(tqueue_t *tq, unsigne
[all...]

Completed in 77 milliseconds