Searched refs:cqueue_init (Results 1 - 8 of 8) sorted by relevance

/seL4-refos-master/projects/refos/impl/libs/libdatastruct/include/data_struct/
H A Dcqueue.h29 void cqueue_init(cqueue_t *q, uint32_t maxSize);
/seL4-refos-master/libs/libdatastruct/include/data_struct/
H A Dcqueue.h29 void cqueue_init(cqueue_t *q, uint32_t maxSize);
/seL4-refos-master/projects/refos/impl/libs/libdatastruct/src/
H A Dcqueue.c17 void cqueue_init(cqueue_t *q, uint32_t maxSize) { function
/seL4-refos-master/libs/libdatastruct/src/
H A Dcqueue.c17 void cqueue_init(cqueue_t *q, uint32_t maxSize) { function
/seL4-refos-master/projects/refos/impl/apps/console_server/src/
H A Ddevice_input.c139 cqueue_init(&s->inputBacklog, CONSERV_DEVICE_INPUT_BACKLOG_MAXSIZE);
/seL4-refos-master/apps/console_server/src/
H A Ddevice_input.c139 cqueue_init(&s->inputBacklog, CONSERV_DEVICE_INPUT_BACKLOG_MAXSIZE);
/seL4-refos-master/projects/refos/impl/apps/process_server/src/test/
H A Dtest.c122 cqueue_init(&q, 62);
/seL4-refos-master/apps/process_server/src/test/
H A Dtest.c122 cqueue_init(&q, 62);

Completed in 56 milliseconds