Searched refs:badged_server_ep_cspath (Results 1 - 5 of 5) sorted by relevance
| /seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/ |
| H A D | test.c | 52 cspacepath_t badged_server_ep_cspath; local
60 error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
63 error = serial_server_client_connect(badged_server_ep_cspath.capPtr,
76 cspacepath_t badged_server_ep_cspath; local
84 error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
87 error = serial_server_client_connect(badged_server_ep_cspath.capPtr,
102 cspacepath_t badged_server_ep_cspath; local
110 error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
113 error = serial_server_client_connect(badged_server_ep_cspath.capPtr,
129 cspacepath_t badged_server_ep_cspath; local
181 cspacepath_t badged_server_ep_cspath; local
233 cspacepath_t badged_server_ep_cspath; local
270 cspacepath_t badged_server_ep_cspath; local
298 cspacepath_t badged_server_ep_cspath; local
[all...] |
| H A D | parentapi.c | 188 cspacepath_t *badged_server_ep_cspath)
190 if (client_vka == NULL || badged_server_ep_cspath == NULL) {
203 badged_server_ep_cspath,
187 serial_server_parent_vka_mint_endpoint(vka_t *client_vka, cspacepath_t *badged_server_ep_cspath) argument
|
| H A D | clientapi.c | 126 &conn->badged_server_ep_cspath);
160 tag = seL4_Call(conn->badged_server_ep_cspath.capPtr, tag);
257 tag = seL4_Call(conn->badged_server_ep_cspath.capPtr, tag);
277 tag = seL4_Call(conn->badged_server_ep_cspath.capPtr, tag);
|
| /seL4-camkes-master/projects/seL4_libs/libsel4serialserver/include/serial_server/ |
| H A D | parent.h | 65 * @param badged_server_ep_cspath [out] resultant new badged Endpoint cap.
69 cspacepath_t *badged_server_ep_cspath);
|
| H A D | client.h | 65 cspacepath_t badged_server_ep_cspath; member in struct:_serial_client_context
|
Completed in 28 milliseconds