Searched refs:serial_server_parent_vka_mint_endpoint (Results 1 - 4 of 4) sorted by relevance
| /seL4-test-master/projects/seL4_libs/libsel4serialserver/include/serial_server/ |
| H A D | parent.h | 68 int serial_server_parent_vka_mint_endpoint(vka_t *client_vka,
|
| /seL4-test-master/projects/seL4_libs/libsel4serialserver/src/ |
| H A D | test.c | 60 error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
84 error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
110 error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
137 error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
156 error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
188 error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
240 error = serial_server_parent_vka_mint_endpoint(NULL, &badged_server_ep_cspath);
242 error = serial_server_parent_vka_mint_endpoint(&env->vka, NULL);
244 error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
277 error = serial_server_parent_vka_mint_endpoint(
[all...] |
| H A D | parentapi.c | 187 serial_server_parent_vka_mint_endpoint(vka_t *client_vka, function
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | serial_server.c | 228 error = serial_server_parent_vka_mint_endpoint(&env->vka,
243 error = serial_server_parent_vka_mint_endpoint(&env->vka,
704 error = serial_server_parent_vka_mint_endpoint(&env->vka,
782 error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath);
|
Completed in 81 milliseconds