Lines Matching defs:other
252 helper_thread_t other;
253 create_helper_thread(env, &other);
255 error = api_tcb_configure(get_helper_tcb(&other),
257 get_helper_sched_context(&other),
261 get_helper_ipc_buffer_addr(&other),
264 cleanup_helper(env, &other);
292 helper_thread_t other;
293 create_helper_thread(env, &other);
295 start_helper(env, &other, (helper_fn_t)wait_func, (seL4_Word)ep, 0, 0, 0);
298 error = seL4_TCB_SetIPCBuffer(get_helper_tcb(&other), get_helper_ipc_buffer_addr(&other), path.capPtr);
303 wait_for_helper(&other);
304 cleanup_helper(env, &other);