Searched refs:input_save_caller_as_waiter (Results 1 - 6 of 6) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/console_server/src/ |
| H A D | device_input.h | 58 a blocking syscall, need to use input_save_caller_as_waiter() to block the calling
69 int input_save_caller_as_waiter(struct input_state *s, struct srv_client *c, bool type);
|
| H A D | device_input.c | 187 input_save_caller_as_waiter(struct input_state *s, struct srv_client *c, bool type) function
196 ROS_ERROR("input_save_caller_as_waiter failed to alloc waiter struct.");
206 ROS_ERROR("input_save_caller_as_waiter failed to alloc cslot.");
214 ROS_ERROR("input_save_caller_as_waiter failed to save caller.");
|
| /seL4-refos-master/apps/console_server/src/ |
| H A D | device_input.h | 58 a blocking syscall, need to use input_save_caller_as_waiter() to block the calling
69 int input_save_caller_as_waiter(struct input_state *s, struct srv_client *c, bool type);
|
| H A D | device_input.c | 187 input_save_caller_as_waiter(struct input_state *s, struct srv_client *c, bool type) function
196 ROS_ERROR("input_save_caller_as_waiter failed to alloc waiter struct.");
206 ROS_ERROR("input_save_caller_as_waiter failed to alloc cslot.");
214 ROS_ERROR("input_save_caller_as_waiter failed to save caller.");
|
| /seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/ |
| H A D | stdio_dspace.c | 63 int error = input_save_caller_as_waiter(&conServ.devInput, c, INPUT_WAITERTYPE_GETC);
|
| /seL4-refos-master/apps/console_server/src/dispatchers/dspace/ |
| H A D | stdio_dspace.c | 63 int error = input_save_caller_as_waiter(&conServ.devInput, c, INPUT_WAITERTYPE_GETC);
|
Completed in 39 milliseconds