Searched defs:run_thread (Results 1 – 3 of 3) sorted by relevance
83 l4_msgtag_t run_thread(L4::Cap<L4::Thread> thread, in run_thread() function
136 Sched_proxy::run_thread(L4::Cap<L4::Thread> thread, l4_sched_param_t const &sp) in run_thread() function in Sched_proxy
105 l4_msgtag_t run_thread(L4::Cap<L4::Thread> thread, in run_thread() function
Completed in 4 milliseconds