Searched refs:tq (Results 1 - 4 of 4) sorted by relevance
/seL4-camkes-master/projects/util_libs/libplatsupport/src/ |
H A D | tqueue.c | 41 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-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | tqueue.h | 58 * @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...] |
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/ |
H A D | sched.c | 150 struct threadqueue *tq; local 164 tq = &timeq; 167 tq = &blockq; 186 TAILQ_REMOVE(tq, thread, bt_schedq);
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_tcp.c | 135 static void tcp_discard_all_segments(struct pico_tcp_queue *tq); 136 static void *peek_segment(struct pico_tcp_queue *tq, uint32_t seq) argument 138 if(!IS_INPUT_QUEUE(tq)) 147 return pico_tree_findKey(&tq->pool, &f); 156 return pico_tree_findKey(&tq->pool, &dummy); 161 static void *first_segment(struct pico_tcp_queue *tq) argument 163 return pico_tree_first(&tq->pool); 166 static void *next_segment(struct pico_tcp_queue *tq, void *cur) argument 171 if(IS_INPUT_QUEUE(tq)) 173 return peek_segment(tq, ((struc 181 enqueue_segment_len(struct pico_tcp_queue *tq, void *f) argument 191 do_enqueue_segment(struct pico_tcp_queue *tq, void *f, uint16_t payload_len) argument 218 pico_enqueue_segment(struct pico_tcp_queue *tq, void *f) argument 236 pico_discard_segment(struct pico_tcp_queue *tq, void *f) argument 3152 tcp_discard_all_segments(struct pico_tcp_queue *tq) argument [all...] |
Completed in 47 milliseconds