Searched refs:l4_scheduler_idle_time (Results 1 – 1 of 1) sorted by relevance
168 l4_scheduler_idle_time(l4_cap_idx_t scheduler, l4_sched_cpu_set_t const *cpus,330 l4_scheduler_idle_time(l4_cap_idx_t scheduler, l4_sched_cpu_set_t const *cpus, in l4_scheduler_idle_time() function
Completed in 2 milliseconds