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

/l4re-core-master/l4util/lib/src/
A D	thread.c	44 res = l4_scheduler_run_thread(scheduler, id, &scp); in l4util_create_thread()
/l4re-core-master/l4sys/include/
A D	scheduler.h	150 l4_scheduler_run_thread(l4_cap_idx_t scheduler, 323 l4_scheduler_run_thread(l4_cap_idx_t scheduler, in l4_scheduler_run_thread() function

Completed in 3 milliseconds

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