Searched refs:faulter_thread (Results 1 - 5 of 5) sorted by relevance
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
H A D | ioports.c | 92 helper_thread_t faulter_thread; local 99 create_helper_thread(env, &faulter_thread); 104 handler_arg1 = get_helper_tcb(&faulter_thread); 107 error = api_tcb_set_space(get_helper_tcb(&faulter_thread), 112 set_helper_priority(env, &faulter_thread, 100); 121 start_helper(env, &faulter_thread, (helper_fn_t) do_ioports, 124 wait_for_helper(&faulter_thread); 129 cleanup_helper(env, &faulter_thread);
|
H A D | breakpoints.h | 37 int setup_faulter_thread_for_test(struct env *env, helper_thread_t *faulter_thread);
|
H A D | multicore.c | 213 helper_thread_t faulter_thread; local 222 create_helper_process(env, &faulter_thread); 227 seL4_CPtr remote_fault_ep = sel4utils_copy_path_to_process(&faulter_thread.process, path); 234 faulter_cspace = faulter_thread.process.cspace.cptr; 235 faulter_vspace = faulter_thread.process.pd.cptr; 236 vspace = &faulter_thread.process.vspace; 238 create_helper_thread(env, &faulter_thread); 244 error = api_tcb_set_space(get_helper_tcb(&faulter_thread), 253 set_helper_affinity(env, &faulter_thread, env->cores - 1); 259 start_helper(env, &faulter_thread, (helper_fn_ [all...] |
H A D | breakpoints.c | 61 int setup_faulter_thread_for_test(struct env *env, helper_thread_t *faulter_thread) argument 65 create_helper_thread(env, faulter_thread); 66 NAME_THREAD(get_helper_tcb(faulter_thread), "Faulter"); 71 get_helper_tcb(faulter_thread), 81 set_helper_priority(env, faulter_thread, BREAKPOINT_TEST_FAULTER_PRIO); 199 helper_thread_t faulter_thread, handler_thread; local 207 error = setup_faulter_thread_for_test(env, &faulter_thread); 211 error = seL4_TCB_SetBreakpoint(get_helper_tcb(&faulter_thread), 216 start_helper(env, &faulter_thread, &breakpoint_triggerer_main, 221 cleanup_helper(env, &faulter_thread); 241 helper_thread_t faulter_thread, handler_thread; local 458 helper_thread_t faulter_thread, handler_thread; local [all...] |
H A D | faults.c | 691 helper_thread_t faulter_thread; local 713 create_helper_process(env, &faulter_thread); 719 seL4_CPtr remote_fault_ep = sel4utils_copy_path_to_process(&faulter_thread.process, path); 731 vka_cspace_make_path(&env->vka, get_helper_tcb(&faulter_thread), &path); 737 faulter_cspace = faulter_thread.process.cspace.cptr; 738 faulter_vspace = faulter_thread.process.pd.cptr; 740 create_helper_thread(env, &faulter_thread); 745 handler_arg1 = get_helper_tcb(&faulter_thread); 750 error = api_tcb_set_space(get_helper_tcb(&faulter_thread), 756 set_helper_priority(env, &faulter_thread, pri [all...] |
Completed in 100 milliseconds