Searched defs:helper (Results 1 - 8 of 8) sorted by relevance

/seL4-test-master/kernel/tools/
H A Dumm.py17 def helper(tps): function in function:parse_type
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dtls.c47 tls_helper(seL4_Word helper, seL4_Word done_ep, seL4_Word start_ep, seL4_Word arg4) argument
H A Dinterrupt.c38 helper_thread_t helper; local
134 helper_thread_t helper; local
226 helper_thread_t helper; local
[all...]
H A Dschedcontext.c172 helper_thread_t helper; local
284 helper_thread_t helper; local
[all...]
H A Dbinding.c214 helper_thread_t helper; local
263 helper_thread_t helper; local
[all...]
H A Dfaults.c853 helper_thread_t helper; local
1074 helper_thread_t helper; local
H A Dscheduler.c1005 helper_thread_t helper; local
1052 helper_thread_t helper; local
1247 helper_thread_t helper; local
1304 helper_thread_t helper; local
[all...]
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/
H A Dhelpers.c549 int restart_after_syscall(env_t env, helper_thread_t *helper) argument

Completed in 95 milliseconds