Searched refs:l4_scheduler_info_u (Results 1 – 1 of 1) sorted by relevance
| /l4re-core-master/l4sys/include/ |
| A D | scheduler.h | 119 l4_scheduler_info_u(l4_cap_idx_t scheduler, l4_umword_t *cpu_max,
239 l4_scheduler_info_u(l4_cap_idx_t scheduler, l4_umword_t *cpu_max, in l4_scheduler_info_u() function
307 r = l4_scheduler_info_u(scheduler, NULL, &s, utcb); in l4_scheduler_is_online_u()
319 return l4_scheduler_info_u(scheduler, cpu_max, cpus, l4_utcb()); in l4_scheduler_info()
|
Completed in 2 milliseconds