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

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dioports.c91 helper_thread_t handler_thread; local
100 create_helper_thread(env, &handler_thread);
105 set_helper_priority(env, &handler_thread, 100);
119 start_helper(env, &handler_thread, (helper_fn_t) handle_fault,
120 handler_arg0, handler_arg1, 0, get_helper_reply(&handler_thread));
128 cleanup_helper(env, &handler_thread);
H A Dbreakpoints.c175 static void setup_handler_thread_for_test(struct env *env, helper_thread_t *handler_thread) argument
177 create_helper_thread(env, handler_thread);
178 NAME_THREAD(get_helper_tcb(handler_thread), "Handler");
179 set_helper_priority(env, handler_thread, BREAKPOINT_TEST_HANDLER_PRIO);
180 start_helper(env, handler_thread, &breakpoint_handler_main,
199 helper_thread_t faulter_thread, handler_thread; local
205 setup_handler_thread_for_test(env, &handler_thread);
218 result = wait_for_helper(&handler_thread);
222 cleanup_helper(env, &handler_thread);
241 helper_thread_t faulter_thread, handler_thread; local
458 helper_thread_t faulter_thread, handler_thread; local
[all...]
H A Dmulticore.c212 helper_thread_t handler_thread; local
217 create_helper_thread(env, &handler_thread);
218 set_helper_priority(env, &handler_thread, 100);
252 set_helper_affinity(env, &handler_thread, 1);
258 start_helper(env, &handler_thread, (helper_fn_t) handler_func, fault_ep, (seL4_Word) &tag, 0, 0);
275 cleanup_helper(env, &handler_thread);
H A Dfaults.c690 helper_thread_t handler_thread; local
714 create_helper_process(env, &handler_thread);
727 handler_arg0 = sel4utils_copy_path_to_process(&handler_thread.process, path);
732 handler_arg1 = sel4utils_copy_path_to_process(&handler_thread.process, path);
735 reply_cptr = sel4utils_copy_cap_to_process(&handler_thread.process, &env->vka,
741 create_helper_thread(env, &handler_thread);
749 set_helper_priority(env, &handler_thread, 101);
765 start_helper(env, &handler_thread, (helper_fn_t) handle_fault,
769 wait_for_helper(&handler_thread);
775 cleanup_helper(env, &handler_thread);
[all...]

Completed in 34 milliseconds