Searched refs:tfep (Results 1 - 3 of 3) sorted by relevance
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
H A D | faults.c | 903 int create_passive_thread_with_tfep(env_t env, helper_thread_t *passive, seL4_CPtr tfep, argument 908 int error = cnode_mint(env, tfep, minted_tfep, seL4_AllRights, badge); 919 static int handle_timeout_fault(seL4_CPtr tfep, seL4_Word expected_badge, sel4utils_thread_t *server, argument 928 seL4_MessageInfo_t info = api_recv(tfep, &badge, server_reply); 967 seL4_CPtr tfep = vka_alloc_endpoint_leaky(&env->vka); local 972 int error = create_passive_thread_with_tfep(env, &server, tfep, server_badge, 985 error = handle_timeout_fault(tfep, server_badge, &server.thread, ro, &cp, ep, 1018 seL4_CPtr tfep = vka_alloc_endpoint_leaky(&env->vka); local 1023 int error = create_passive_thread_with_tfep(env, &server, tfep, server_badge, 1029 error = create_passive_thread_with_tfep(env, &proxy, tfep, proxy_badg [all...] |
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/ |
H A D | helpers.h | 88 void set_helper_tfep(env_t env, helper_thread_t *thread, seL4_CPtr tfep);
|
H A D | helpers.c | 569 void set_helper_tfep(env_t env, helper_thread_t *thread, seL4_CPtr tfep) argument 573 int error = seL4_TCB_SetTimeoutEndpoint(thread->thread.tcb.cptr, tfep); 575 ZF_LOGF("Failed to set tfep\n");
|
Completed in 32 milliseconds