Searched defs:client (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4rpc/src/
H A Dclient.c18 int sel4rpc_client_init(sel4rpc_client_t *client, seL4_CPtr server_ep, seL4_Word magic) argument
24 int sel4rpc_call(sel4rpc_client_t *client, RpcMessage *msg, seL4_CPtr root, argument
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dschedcontext.c355 helper_thread_t client, proxy, server; local
421 helper_thread_t client, server; local
476 helper_thread_t client, server; local
538 helper_thread_t client, proxy, server; local
587 helper_thread_t client, proxy, server; local
638 helper_thread_t client, proxy, server; local
[all...]
H A Dfaults.c962 helper_thread_t client, server; local
1009 helper_thread_t client, server, proxy; local
[all...]
H A Dipc.c545 helper_thread_t client, server; local
679 helper_thread_t client, server; local
814 helper_thread_t client; local
863 helper_thread_t client; local
1150 helper_thread_t client, server; local
1193 helper_thread_t client, server; local
1259 helper_thread_t client, server, server2; local
[all...]

Completed in 33 milliseconds