Searched refs:skip_reply (Results 1 - 18 of 18) sorted by relevance

/seL4-refos-master/libs/librefos/src/refos-rpc/
H A Drpc_refos.c72 return c->skip_reply;
H A Drpc.c275 c->skip_reply = false;
/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/
H A Dstdio_dspace.c62 c->rpcClient.skip_reply = true;
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/
H A Dtimer_dspace.c58 c->rpcClient.skip_reply = true;
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-rpc/
H A Drpc_refos.c72 return c->skip_reply;
H A Drpc.c275 c->skip_reply = false;
/seL4-refos-master/apps/console_server/src/dispatchers/dspace/
H A Dstdio_dspace.c62 c->rpcClient.skip_reply = true;
/seL4-refos-master/apps/timer_server/src/dispatchers/dspace/
H A Dtimer_dspace.c58 c->rpcClient.skip_reply = true;
/seL4-refos-master/libs/librefos/include/refos-rpc/
H A Drpc.h236 bool skip_reply; member in struct:rpc_client_state_s
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/
H A Drpc.h236 bool skip_reply; member in struct:rpc_client_state_s
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Dproc_syscall.c271 pcb->rpcClient.skip_reply = true;
287 pcb->rpcClient.skip_reply = true;
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Dproc_syscall.c271 pcb->rpcClient.skip_reply = true;
287 pcb->rpcClient.skip_reply = true;
/seL4-refos-master/projects/refos/impl/apps/console_server/src/
H A Ddevice_input.c110 waiter->client->rpcClient.skip_reply = false;
/seL4-refos-master/apps/console_server/src/
H A Ddevice_input.c110 waiter->client->rpcClient.skip_reply = false;
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dprocess.c673 parentPCB->rpcClient.skip_reply = false;
695 pcb->rpcClient.skip_reply = true;
/seL4-refos-master/apps/process_server/src/system/process/
H A Dprocess.c673 parentPCB->rpcClient.skip_reply = false;
695 pcb->rpcClient.skip_reply = true;
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Ddevice_timer.c113 waiter->client->rpcClient.skip_reply = false;
/seL4-refos-master/apps/timer_server/src/
H A Ddevice_timer.c113 waiter->client->rpcClient.skip_reply = false;

Completed in 123 milliseconds