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

/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dtqueue.h60 int tqueue_alloc_id(tqueue_t *tq, unsigned int *id);
76 * can be reallocated by tqueue_alloc_id.
78 * @param id an id allocated by tqueue_alloc_id
79 * @return EINVAL if tq is NULL or id is invalid (not allocated by tqueue_alloc_id), 0 on sucess.
/seL4-test-master/projects/util_libs/libplatsupport/src/
H A Dlocal_time_manager.c33 return tqueue_alloc_id(&state->timeouts, id);
H A Dtqueue.c41 int tqueue_alloc_id(tqueue_t *tq, unsigned int *id) function

Completed in 76 milliseconds