Searched defs:scheduler (Results 1 – 3 of 3) sorted by relevance
| /l4re-core-master/l4sys/include/ |
| A D | scheduler.h | 239 l4_scheduler_info_u(l4_cap_idx_t scheduler, l4_umword_t *cpu_max, in l4_scheduler_info_u()
262 l4_scheduler_run_thread_u(l4_cap_idx_t scheduler, l4_cap_idx_t thread, in l4_scheduler_run_thread_u()
278 l4_scheduler_idle_time_u(l4_cap_idx_t scheduler, l4_sched_cpu_set_t const *cpus, in l4_scheduler_idle_time_u()
301 l4_scheduler_is_online_u(l4_cap_idx_t scheduler, l4_umword_t cpu, in l4_scheduler_is_online_u()
316 l4_scheduler_info(l4_cap_idx_t scheduler, l4_umword_t *cpu_max, in l4_scheduler_info()
323 l4_scheduler_run_thread(l4_cap_idx_t scheduler, in l4_scheduler_run_thread()
330 l4_scheduler_idle_time(l4_cap_idx_t scheduler, l4_sched_cpu_set_t const *cpus, in l4_scheduler_idle_time()
337 l4_scheduler_is_online(l4_cap_idx_t scheduler, l4_umword_t cpu) L4_NOTHROW in l4_scheduler_is_online()
|
| /l4re-core-master/l4util/lib/src/ |
| A D | thread.c | 25 l4_cap_idx_t scheduler, l4_sched_param_t scp) L4_NOTHROW in l4util_create_thread()
|
| /l4re-core-master/l4re/include/ |
| A D | env.h | 117 l4_cap_idx_t scheduler; /**< Object capability for the scheduler set to use */ member
|
Completed in 6 milliseconds