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

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dserial_server.c62 cspacepath_t badged_server_ep_cspath, badged_server_ep_cspath2, ut_512k_cspath; member in struct:_client_test_data
373 error = setup_client_process_allocman_vka_and_vspace(client_data->ut_512k_cspath.capPtr,
375 client_data->ut_512k_cspath.capPtr + 0x8,
584 vka_cspace_make_path(&env->vka, tmp.cptr, &curr_client->ut_512k_cspath);
585 curr_client->ut_512k_cspath.capPtr = sel4utils_move_cap_to_process(
587 curr_client->ut_512k_cspath,
589 if (curr_client->ut_512k_cspath.capPtr == 0) {

Completed in 77 milliseconds