Searched refs:create_passive_thread_with_tfep (Results 1 - 1 of 1) 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, function
972 int error = create_passive_thread_with_tfep(env, &server, tfep, server_badge,
1023 int error = create_passive_thread_with_tfep(env, &server, tfep, server_badge,
1029 error = create_passive_thread_with_tfep(env, &proxy, tfep, proxy_badge,
|
Completed in 26 milliseconds