Lines Matching refs:scheduler
112 l4_scheduler_info(l4_cap_idx_t scheduler, l4_umword_t *cpu_max,
119 l4_scheduler_info_u(l4_cap_idx_t scheduler, l4_umword_t *cpu_max,
150 l4_scheduler_run_thread(l4_cap_idx_t scheduler,
157 l4_scheduler_run_thread_u(l4_cap_idx_t scheduler, l4_cap_idx_t thread,
168 l4_scheduler_idle_time(l4_cap_idx_t scheduler, l4_sched_cpu_set_t const *cpus,
175 l4_scheduler_idle_time_u(l4_cap_idx_t scheduler, l4_sched_cpu_set_t const *cpus,
191 l4_scheduler_is_online(l4_cap_idx_t scheduler, l4_umword_t cpu) L4_NOTHROW;
197 l4_scheduler_is_online_u(l4_cap_idx_t scheduler, l4_umword_t cpu,
239 l4_scheduler_info_u(l4_cap_idx_t scheduler, l4_umword_t *cpu_max, in l4_scheduler_info_u() argument
248 res = l4_ipc_call(scheduler, utcb, l4_msgtag(L4_PROTO_SCHEDULER, 2, 0, 0), L4_IPC_NEVER); 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() argument
274 return l4_ipc_call(scheduler, utcb, l4_msgtag(L4_PROTO_SCHEDULER, 5, 1, 0), L4_IPC_NEVER); 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() argument
288 res = l4_ipc_call(scheduler, utcb, 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() argument
307 r = l4_scheduler_info_u(scheduler, NULL, &s, utcb); in l4_scheduler_is_online_u()
316 l4_scheduler_info(l4_cap_idx_t scheduler, l4_umword_t *cpu_max, in l4_scheduler_info() argument
319 return l4_scheduler_info_u(scheduler, cpu_max, cpus, l4_utcb()); in l4_scheduler_info()
323 l4_scheduler_run_thread(l4_cap_idx_t scheduler, in l4_scheduler_run_thread() argument
326 return l4_scheduler_run_thread_u(scheduler, thread, sp, l4_utcb()); 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() argument
333 return l4_scheduler_idle_time_u(scheduler, cpus, us, l4_utcb()); 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() argument
339 return l4_scheduler_is_online_u(scheduler, cpu, l4_utcb()); in l4_scheduler_is_online()