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

/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dtqueue.h133 int tqueue_init_static(tqueue_t *tq, ps_malloc_ops_t *mops, int size);
/seL4-test-master/projects/util_libs/libplatsupport/src/
H A Dlocal_time_manager.c189 error = tqueue_init_static(&state->timeouts, &ops->malloc_ops, size);
H A Dtqueue.c180 int tqueue_init_static(tqueue_t *tq, ps_malloc_ops_t *mops, int size) function

Completed in 36 milliseconds