Searched refs:waiterList (Results 1 - 8 of 8) sorted by relevance
/seL4-refos-master/projects/refos/impl/apps/console_server/src/ |
H A D | device_input.c | 100 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 D | device_input.h | 45 cvector_t waiterList; /*!< input_waiter */ member in struct:input_state
|
/seL4-refos-master/apps/console_server/src/ |
H A D | device_input.c | 100 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 D | device_input.h | 45 cvector_t waiterList; /*!< input_waiter */ member in struct:input_state
|
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/ |
H A D | device_timer.h | 52 cvector_t waiterList; /* struct device_timer_waiter */ member in struct:device_timer_state
|
H A D | device_timer.c | 100 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 D | device_timer.h | 52 cvector_t waiterList; /* struct device_timer_waiter */ member in struct:device_timer_state
|
H A D | device_timer.c | 100 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