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

/seL4-refos-master/projects/refos/impl/apps/console_server/src/
H A Ddevice_input.c100 for (int i = 0; i < cvector_count(&s->waiterList); i++) {
101 struct input_waiter *waiter = (struct input_waiter*) cvector_get(&s->waiterList, i);
126 cvector_set(&s->waiterList, i, (cvector_item_t) NULL);
127 cvector_delete(&s->waiterList, i);
140 cvector_init(&s->waiterList);
220 cvector_add(&s->waiterList, (cvector_item_t) waiter);
H A Ddevice_input.h45 cvector_t waiterList; /*!< input_waiter */ member in struct:input_state
/seL4-refos-master/apps/console_server/src/
H A Ddevice_input.c100 for (int i = 0; i < cvector_count(&s->waiterList); i++) {
101 struct input_waiter *waiter = (struct input_waiter*) cvector_get(&s->waiterList, i);
126 cvector_set(&s->waiterList, i, (cvector_item_t) NULL);
127 cvector_delete(&s->waiterList, i);
140 cvector_init(&s->waiterList);
220 cvector_add(&s->waiterList, (cvector_item_t) waiter);
H A Ddevice_input.h45 cvector_t waiterList; /*!< input_waiter */ member in struct:input_state
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Ddevice_timer.h52 cvector_t waiterList; /* struct device_timer_waiter */ member in struct:device_timer_state
H A Ddevice_timer.c100 int count = cvector_count(&s->waiterList);
103 cvector_get(&s->waiterList, i);
124 cvector_delete(&s->waiterList, i);
125 count = cvector_count(&s->waiterList);
335 cvector_init(&s->waiterList);
389 cvector_add(&s->waiterList, (cvector_item_t) waiter);
/seL4-refos-master/apps/timer_server/src/
H A Ddevice_timer.h52 cvector_t waiterList; /* struct device_timer_waiter */ member in struct:device_timer_state
H A Ddevice_timer.c100 int count = cvector_count(&s->waiterList);
103 cvector_get(&s->waiterList, i);
124 cvector_delete(&s->waiterList, i);
125 count = cvector_count(&s->waiterList);
335 cvector_init(&s->waiterList);
389 cvector_add(&s->waiterList, (cvector_item_t) waiter);

Completed in 39 milliseconds