Searched refs:cpu_max (Results 1 – 6 of 6) sorted by relevance
| /l4re-core-master/l4sys/include/ |
| A D | scheduler.h | 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,
239 l4_scheduler_info_u(l4_cap_idx_t scheduler, l4_umword_t *cpu_max, in l4_scheduler_info_u() argument
255 if (cpu_max) in l4_scheduler_info_u()
256 *cpu_max = m->mr[1]; in l4_scheduler_info_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()
|
| A D | scheduler | 60 l4_umword_t *cpu_max));
65 * \param[out] cpu_max Maximum number of CPUs ever available.
76 l4_msgtag_t info(l4_umword_t *cpu_max, l4_sched_cpu_set_t *cpus,
82 if (cpu_max) *cpu_max = max;
|
| /l4re-core-master/libkproxy/include/ |
| A D | scheduler_svr | 35 virtual int info(l4_umword_t *cpu_max, l4_sched_cpu_set_t *cpus) = 0;
55 l4_umword_t &map, l4_umword_t &cpu_max)
61 int ret = this_svr()->info(&cpu_max, &cpus);
105 int info(l4_umword_t *cpu_max, l4_sched_cpu_set_t *cpus)
106 { return _sched->info(cpu_max, cpus); }
|
| /l4re-core-master/ned/server/src/ |
| A D | app_model.h | 112 l4_umword_t cpu_max; in run_thread() local
114 l4_msgtag_t t = s->info(&cpu_max, &cpus); in run_thread()
|
| /l4re-core-master/moe/server/src/ |
| A D | sched_proxy.cc | 110 Sched_proxy::info(l4_umword_t *cpu_max, l4_sched_cpu_set_t *cpus) in info() argument
112 *cpu_max = _max_cpus; in info()
|
| A D | sched_proxy.h | 39 int info(l4_umword_t *cpu_max, l4_sched_cpu_set_t *cpus);
|
Completed in 5 milliseconds