Searched defs:cpu_max (Results 1 – 3 of 3) sorted by relevance
239 l4_scheduler_info_u(l4_cap_idx_t scheduler, l4_umword_t *cpu_max, in l4_scheduler_info_u()316 l4_scheduler_info(l4_cap_idx_t scheduler, l4_umword_t *cpu_max, in l4_scheduler_info()
112 l4_umword_t cpu_max; in run_thread() local
110 Sched_proxy::info(l4_umword_t *cpu_max, l4_sched_cpu_set_t *cpus) in info()
Completed in 4 milliseconds