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

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dfaults.c903 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 Dhelpers.h88 void set_helper_tfep(env_t env, helper_thread_t *thread, seL4_CPtr tfep);
H A Dhelpers.c569 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