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

/seL4-refos-master/projects/refos/impl/libs/libdatastruct/include/data_struct/
H A Dcqueue.h33 cqueue_item_t cqueue_pop(cqueue_t *q);
/seL4-refos-master/libs/libdatastruct/include/data_struct/
H A Dcqueue.h33 cqueue_item_t cqueue_pop(cqueue_t *q);
/seL4-refos-master/projects/refos/impl/apps/console_server/src/
H A Ddevice_input.c52 cqueue_item_t item = cqueue_pop(&s->inputBacklog);
115 int ch = (int) cqueue_pop(&s->inputBacklog);
176 int c = (int) cqueue_pop(&s->inputBacklog);
/seL4-refos-master/apps/console_server/src/
H A Ddevice_input.c52 cqueue_item_t item = cqueue_pop(&s->inputBacklog);
115 int ch = (int) cqueue_pop(&s->inputBacklog);
176 int c = (int) cqueue_pop(&s->inputBacklog);
/seL4-refos-master/projects/refos/impl/libs/libdatastruct/src/
H A Dcqueue.c37 cqueue_item_t cqueue_pop(cqueue_t *q) { function
/seL4-refos-master/libs/libdatastruct/src/
H A Dcqueue.c37 cqueue_item_t cqueue_pop(cqueue_t *q) { function
/seL4-refos-master/projects/refos/impl/apps/process_server/src/test/
H A Dtest.c128 int item = (int) cqueue_pop(&q);
/seL4-refos-master/apps/process_server/src/test/
H A Dtest.c128 int item = (int) cqueue_pop(&q);

Completed in 41 milliseconds