Searched refs:faulter_thread (Results 1 - 5 of 5) sorted by relevance

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dioports.c92 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 Dbreakpoints.h37 int setup_faulter_thread_for_test(struct env *env, helper_thread_t *faulter_thread);
H A Dmulticore.c213 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 Dbreakpoints.c61 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 Dfaults.c691 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