Searched refs:get_helper_tcb (Results 1 - 16 of 16) sorted by relevance
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | threads.c | 30 error = api_tcb_configure(get_helper_tcb(&thread), 0, seL4_CapNull,
49 error = api_tcb_set_space(get_helper_tcb(&thread), 0, seL4_CapNull,
|
| H A D | domains.cxx | 89 error = seL4_DomainSet_Set(env->domain, (seL4_Word)i, get_helper_tcb(&thread[i]));
99 error = seL4_DomainSet_Set(env->domain, CONFIG_NUM_DOMAINS - 1, get_helper_tcb(&thread[0]));
|
| H A D | ioports.c | 104 handler_arg1 = get_helper_tcb(&faulter_thread);
107 error = api_tcb_set_space(get_helper_tcb(&faulter_thread),
|
| H A D | multicore.c | 55 seL4_TCB_Suspend(get_helper_tcb(&t1));
68 seL4_TCB_Resume(get_helper_tcb(&t1));
73 seL4_TCB_Suspend(get_helper_tcb(&t1));
244 error = api_tcb_set_space(get_helper_tcb(&faulter_thread),
|
| H A D | regressions.c | 196 result = seL4_TCB_WriteRegisters(get_helper_tcb(&thread), true, 0 /* ignored */,
384 error = seL4_TCB_ReadRegisters(get_helper_tcb(&thread), false, 0, sizeof(seL4_UserContext) / sizeof(seL4_Word),
401 error = seL4_TCB_WriteRegisters(get_helper_tcb(&thread), true, 0, sizeof(seL4_UserContext) / sizeof(seL4_Word),
|
| H A D | breakpoints.c | 66 NAME_THREAD(get_helper_tcb(faulter_thread), "Faulter");
71 get_helper_tcb(faulter_thread),
178 NAME_THREAD(get_helper_tcb(handler_thread), "Handler");
211 error = seL4_TCB_SetBreakpoint(get_helper_tcb(&faulter_thread),
250 error = seL4_TCB_SetBreakpoint(get_helper_tcb(&faulter_thread),
|
| H A D | frames.c | 163 err = api_tcb_set_space(get_helper_tcb(&faulter),
203 err = api_tcb_configure(get_helper_tcb(&faulter),
255 error = api_tcb_configure(get_helper_tcb(&other),
298 error = seL4_TCB_SetIPCBuffer(get_helper_tcb(&other), get_helper_ipc_buffer_addr(&other), path.capPtr);
355 err = api_tcb_set_space(get_helper_tcb(&faulter),
|
| H A D | scheduler.c | 75 seL4_TCB_Suspend(get_helper_tcb(&t1));
90 seL4_TCB_Resume(get_helper_tcb(&t1));
218 (seL4_Word) get_helper_tcb(&thread1),
219 (seL4_Word) get_helper_tcb(&thread2a),
220 (seL4_Word) get_helper_tcb(&thread2b), 0);
223 (seL4_Word) get_helper_tcb(&thread1),
224 (seL4_Word) get_helper_tcb(&thread2a),
225 (seL4_Word) get_helper_tcb(&thread2b), 0);
228 (seL4_Word) get_helper_tcb(&thread1),
229 (seL4_Word) get_helper_tcb(
[all...] |
| H A D | cspace.c | 105 error = api_tcb_set_space(get_helper_tcb(&t), t.fault_endpoint,
|
| H A D | ipc_rights.c | 87 error = api_tcb_set_space(get_helper_tcb(&t),
277 seL4_TCB_Resume(get_helper_tcb(&t));
281 seL4_TCB_Suspend(get_helper_tcb(&t));
|
| H A D | faults.c | 731 vka_cspace_make_path(&env->vka, get_helper_tcb(&faulter_thread), &path);
745 handler_arg1 = get_helper_tcb(&faulter_thread);
750 error = api_tcb_set_space(get_helper_tcb(&faulter_thread),
1079 err = api_tcb_set_space(get_helper_tcb(&helper), fault_ep, env->cspace_root,
|
| H A D | binding.c | 170 int error = seL4_TCB_BindNotification(get_helper_tcb(&waiter_thread), notification_ep);
|
| H A D | ipc.c | 453 seL4_TCB_Suspend(get_helper_tcb(&thread_a));
456 seL4_TCB_Resume(get_helper_tcb(&thread_a));
459 seL4_TCB_Suspend(get_helper_tcb(&thread_a));
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/arch/x86/tests/ |
| H A D | breakpoints.c | 158 error = seL4_TCB_SetBreakpoint(get_helper_tcb(&debuggee),
164 get_helper_tcb(&debuggee),
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/ |
| H A D | helpers.h | 106 seL4_CPtr get_helper_tcb(helper_thread_t *thread);
|
| H A D | helpers.c | 399 seL4_CPtr get_helper_tcb(helper_thread_t *thread) function
|
Completed in 108 milliseconds