Searched refs:l4_scheduler_run_thread_u (Results 1 – 1 of 1) sorted by relevance

/l4re-core-master/l4sys/include/
A D	scheduler.h	157 l4_scheduler_run_thread_u(l4_cap_idx_t scheduler, l4_cap_idx_t thread, 262 l4_scheduler_run_thread_u(l4_cap_idx_t scheduler, l4_cap_idx_t thread, in l4_scheduler_run_thread_u() function 326 return l4_scheduler_run_thread_u(scheduler, thread, sp, l4_utcb()); in l4_scheduler_run_thread()

Completed in 3 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023