Searched refs:handler_thread (Results 1 - 4 of 4) sorted by relevance
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
H A D | ioports.c | 91 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 D | breakpoints.c | 175 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 D | multicore.c | 212 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 D | faults.c | 690 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