Searched defs:client (Results 1 - 4 of 4) sorted by relevance
/seL4-test-master/projects/sel4_projects_libs/libsel4rpc/src/ |
H A D | client.c | 18 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 D | schedcontext.c | 355 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 D | faults.c | 962 helper_thread_t client, server; local 1009 helper_thread_t client, server, proxy; local [all...] |
H A D | ipc.c | 545 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