Home
last modified time | relevance | path

Searched refs:scheduler (Results 1 – 25 of 28) sorted by relevance

12

/l4re-core-master/l4sys/include/
A Dscheduler.h112 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,
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
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
323 l4_scheduler_run_thread(l4_cap_idx_t scheduler, in l4_scheduler_run_thread() argument
[all …]
A Dscheduler27 #include <l4/sys/scheduler.h>
37 * provides functions to query scheduler information, check the online state of
40 * The scheduler offers IRQ number 0, which triggers when the number of online
44 * the scheduler virtual device IRQ which, in contrast to hardware IRQs,
50 * \includefile{l4/sys/scheduler}
63 * Get scheduler information.
100 * \note A scheduler may impose a policy with regard to selecting CPUs.
101 * However the scheduler is required to ensure the following two properties:
A DMakefile6 smart_capability scheduler meta typeinfo_svr ipc_gate \
/l4re-core-master/l4util/lib/src/
A Dthread.c25 l4_cap_idx_t scheduler, l4_sched_param_t scp) L4_NOTHROW in l4util_create_thread() argument
42 if (!l4_is_invalid_cap(scheduler)) in l4util_create_thread()
44 res = l4_scheduler_run_thread(scheduler, id, &scp); in l4util_create_thread()
/l4re-core-master/l4re/include/
A Denv71 * scheduler | L4::Scheduler | L4Re::Env::scheduler()
278 * Get the scheduler capability for the task.
279 * \return The capability selector for the default scheduler used for this
282 L4::Cap<L4::Scheduler> scheduler() const noexcept
283 { return L4::Cap<L4::Scheduler>(_env.scheduler); }
286 * Set the scheduler capability.
287 * \param c is the capability to be set as scheduler.
289 void scheduler(L4::Cap<L4::Scheduler> const &c) noexcept
290 { _env.scheduler = c.cap(); }
A Denv.h117 l4_cap_idx_t scheduler; /**< Object capability for the scheduler set to use */ member
/l4re-core-master/ned/doc/
A DAw.lua49 scheduler = L4.Env.user_factory:create(L4.Proto.Scheduler, 0x90, 0x80)
99 scheduler = L4.Env.user_factory:create(L4.Proto.Scheduler, 0x80, 0x70)
135 scheduler = L4.Env.user_factory:create(L4.Proto.Scheduler, 0x78, 0x70)
A Dned.dox56 as \c factory, \c log, \c mem_alloc, \c parent, \c rm, and \c scheduler in
135 \li \c scheduler The scheduler object used for the process' threads (defaults
136 to Ned's own scheduler).
/l4re-core-master/moe/server/src/
A Dsched_proxy.cc99 int e = l4_error(L4Re::Env::env()->scheduler()->info(&max, &c)); in rescan_cpus()
152 return l4_error(L4Re::Env::env()->scheduler()->run_thread(thread, s)); in run_thread()
211 if (l4_error(L4Re::Env::env()->scheduler()->bind(0, irq)) < 0) in Cpu_hotplug_server()
A Dloader.cc213 _info.scheduler = L4Re::Env::env()->scheduler().fpage(); in init_prog()
A Dloader.h85 { return L4Re::Env::env()->scheduler()->run_thread(thread, sp); } in run_thread()
A Dmain.cc493 my_env.scheduler(L4_BASE_SCHEDULER_CAP); in init_env()
524 L4Re::Env::env()->scheduler() in main()
/l4re-core-master/libloader/include/
A Dremote_app_model16 #include <l4/sys/scheduler>
85 env->scheduler(L4::Cap<L4::Scheduler>(Caps::Scheduler_cap << L4_CAP_SHIFT));
151 chksys(ntask->map(L4Re::This_task, this->_info.scheduler,
152 env->scheduler().snd_base()));
/l4re-core-master/uclibc/lib/libpthread/src/
A Dl4.cc130 L4Re::Env::env()->scheduler()->run_thread(t, sp); in __pthread_setschedparam()
182 int e = l4_error(L4Re::Env::env()->scheduler()->run_thread(t, sp)); in strong_alias()
235 int res = l4_error(L4Re::Env::env()->scheduler() in pthread_l4_start()
A Dmanager.cc588 err = l4_error(e->scheduler()->run_thread(_t.get(), sp)); in __pthread_mgr_create_thread()
1121 L4Re::Env::env()->scheduler()->run_thread(L4::Cap<L4::Thread>(manager_thread->p_th_cap), sp); in __pthread_manager_adjust_prio()
/l4re-core-master/l4util/include/
A Dthread.h51 l4_cap_idx_t scheduler, l4_sched_param_t scp) L4_NOTHROW;
/l4re-core-master/ned/server/src/
A Dlua_env.cc44 register_cap(l, "scheduler", e->scheduler()); in init()
A Dapp_model.cc138 _info.scheduler = _sched.fpage(); in init_prog()
153 _info.scheduler = _task->_sched.obj_cap().fpage(); in init_prog()
A Dlua_exec.cc258 prog_info()->scheduler = L4Re::Env::env()->scheduler().fpage(); in parse_cfg()
273 _cap_stack.push(_cfg_cap<void>("scheduler", &prog_info()->scheduler)); in parse_cfg()
A Dapp_model.h108 L4::Cap<L4::Scheduler> s(prog_info()->scheduler.raw & (~0UL << L4_FPAGE_ADDR_SHIFT)); in run_thread()
/l4re-core-master/uclibc/lib/contrib/uclibc/libpthread/nptl/
A DTODO-kernel19 - the scheduler should be thread group-aware, i.e., it has to give time to
/l4re-core-master/moe/doc/
A Dmoe.dox141 * The scheduler subsystem provides a simple scheduler proxy for scheduling
144 * The priority offset provided on the creation of a scheduler proxy defines
146 * instance of the scheduler proxy. The offset is implicitly added to priorities
/l4re-core-master/l4re_kernel/server/src/
A Dmain.cc186 env->scheduler()->run_thread(env->main_thread(), in run()
A Dloader.cc321 chksys(env->scheduler()->run_thread(app_thread, l4_sched_param(L4RE_MAIN_THREAD_PRIO))); in start()
/l4re-core-master/libkproxy/include/
A Dscheduler_svr25 #include <l4/sys/scheduler>

Completed in 20 milliseconds

12