Searched refs:waiter (Results 1 - 7 of 7) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/console_server/src/
H A Ddevice_input.c101 struct input_waiter *waiter = (struct input_waiter*) cvector_get(&s->waiterList, i); local
102 assert(waiter && waiter->magic == CONSERV_DEVICE_INPUT_WAITER_MAGIC);
103 assert(waiter->reply && waiter->client);
110 waiter->client->rpcClient.skip_reply = false;
111 waiter->client->rpcClient.reply = waiter->reply;
113 /* Reply to the waiter. */
114 if (waiter
194 struct input_waiter *waiter = malloc(sizeof(struct input_waiter)); local
[all...]
/seL4-refos-master/apps/console_server/src/
H A Ddevice_input.c101 struct input_waiter *waiter = (struct input_waiter*) cvector_get(&s->waiterList, i); local
102 assert(waiter && waiter->magic == CONSERV_DEVICE_INPUT_WAITER_MAGIC);
103 assert(waiter->reply && waiter->client);
110 waiter->client->rpcClient.skip_reply = false;
111 waiter->client->rpcClient.reply = waiter->reply;
113 /* Reply to the waiter. */
114 if (waiter
194 struct input_waiter *waiter = malloc(sizeof(struct input_waiter)); local
[all...]
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Ddevice_timer.c102 struct device_timer_waiter *waiter = (struct device_timer_waiter*) local
104 assert(waiter && waiter->magic == TIMESERV_DEVICE_TIMER_WAITER_MAGIC);
105 assert(waiter->reply && waiter->client);
107 if (waiter->time > time) {
112 /* Reply to the waiter. */
113 waiter->client->rpcClient.skip_reply = false;
114 waiter->client->rpcClient.reply = waiter
363 struct device_timer_waiter *waiter = malloc(sizeof(struct device_timer_waiter)); local
[all...]
/seL4-refos-master/apps/timer_server/src/
H A Ddevice_timer.c102 struct device_timer_waiter *waiter = (struct device_timer_waiter*) local
104 assert(waiter && waiter->magic == TIMESERV_DEVICE_TIMER_WAITER_MAGIC);
105 assert(waiter->reply && waiter->client);
107 if (waiter->time > time) {
112 /* Reply to the waiter. */
113 waiter->client->rpcClient.skip_reply = false;
114 waiter->client->rpcClient.reply = waiter
363 struct device_timer_waiter *waiter = malloc(sizeof(struct device_timer_waiter)); local
[all...]
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/
H A Ddataspace.c136 struct ram_dspace_waiter *waiter = (struct ram_dspace_waiter *) local
138 assert(waiter && waiter->magic == RAM_DATASPACE_WAITER_MAGIC);
139 assert(waiter->reply.capPtr);
141 vka_cnode_revoke(&waiter->reply);
142 vka_cnode_delete(&waiter->reply);
143 vka_cspace_free(&procServ.vka, waiter->reply.capPtr);
144 kfree(waiter);
596 struct ram_dspace_waiter *waiter = (struct ram_dspace_waiter *) local
598 assert(waiter
656 struct ram_dspace_waiter* waiter = kmalloc(sizeof(struct ram_dspace_waiter)); local
711 struct ram_dspace_waiter *waiter = (struct ram_dspace_waiter *) local
[all...]
/seL4-refos-master/apps/process_server/src/system/memserv/
H A Ddataspace.c136 struct ram_dspace_waiter *waiter = (struct ram_dspace_waiter *) local
138 assert(waiter && waiter->magic == RAM_DATASPACE_WAITER_MAGIC);
139 assert(waiter->reply.capPtr);
141 vka_cnode_revoke(&waiter->reply);
142 vka_cnode_delete(&waiter->reply);
143 vka_cspace_free(&procServ.vka, waiter->reply.capPtr);
144 kfree(waiter);
596 struct ram_dspace_waiter *waiter = (struct ram_dspace_waiter *) local
598 assert(waiter
656 struct ram_dspace_waiter* waiter = kmalloc(sizeof(struct ram_dspace_waiter)); local
711 struct ram_dspace_waiter *waiter = (struct ram_dspace_waiter *) local
[all...]
/seL4-refos-master/libs/libmuslc/src/thread/
H A Dpthread_cond_timedwait.c9 * struct waiter
18 * protected by the lock on the cv. Detached waiter lists are never
25 * different processes), the waiter list is not used for the
30 struct waiter { struct
31 struct waiter *prev, *next;
69 struct waiter node = { 0 };
123 /* Access to cv object is valid because this waiter was not
125 * after seeing a LEAVING waiter without getting notified
156 /* Unlock the barrier that's holding back the next waiter, and
179 struct waiter *
[all...]

Completed in 94 milliseconds