Searched refs:period (Results 1 - 21 of 21) sorted by relevance

/seL4-camkes-master/kernel/include/kernel/
H A Dsporadic.h13 * Briefly, a sporadic server is a period and a queue of refills. Each
14 * refill consists of an amount, and a period. No thread is allowed to consume
15 * more than amount ticks per period.
21 * for reuse in period time. If the refill queue is full (the queue's
124 void refill_new(sched_context_t *sc, word_t max_refills, ticks_t budget, ticks_t period, word_t core);
125 #define REFILL_NEW(sc, max_refills, budget, period, core) refill_new(sc, max_refills, budget, period, core)
127 void refill_new(sched_context_t *sc, word_t max_refills, ticks_t budget, ticks_t period);
128 #define REFILL_NEW(sc, max_refills, budget, period, core) refill_new(sc, max_refills, budget, period)
[all...]
/seL4-camkes-master/kernel/src/object/
H A Dschedcontrol.c14 ticks_t period, word_t max_refills, word_t badge)
45 if (budget == period) {
47 * period to 0, which means that the budget will always be ready to be refilled
50 period = 0;
58 refill_update(target, period, budget, max_refills);
62 REFILL_NEW(target, max_refills, budget, period, core);
125 userError("SchedControl_Configure: period out of range.");
133 userError("SchedControl_Configure: budget must be <= period");
13 invokeSchedControl_Configure(sched_context_t *target, word_t core, ticks_t budget, ticks_t period, word_t max_refills, word_t badge) argument
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dtqueue.h25 /* period this timeout should reoccur (0 if not periodic) */
26 uint64_t period; member in struct:__anon687
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Dgeneric_ltimer.c28 uint64_t period; // period of a current periodic timeout, in ns member in struct:__anon1
77 ltimer->period = ns;
79 ltimer->period = 0;
109 if (ltimer->period) {
110 set_timeout(data, ltimer->period, TIMEOUT_PERIODIC);
130 generic_ltimer->period = 0;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dltimer.c43 uint64_t period; member in struct:__anon24
100 if (spt_ltimer->period > 0) {
101 spt_set_timeout(&spt_ltimer->spt, spt_ltimer->period);
140 spt_ltimer->period = 0;
146 spt_ltimer->period = ns;
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/
H A Dlapic.h20 int64_t period; /* unit: ns */
/seL4-camkes-master/projects/util_libs/libplatsupport/src/
H A Dtqueue.c160 if (t->timeout.period > 0) {
161 t->timeout.abs_time += t->timeout.period;
H A Dlocal_time_manager.c117 timeout.period = ns;
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dthread_config.h39 uint64_t period; member in struct:sched_params
78 params.period = period_us;
H A Dmcs_api.h186 UNUSED uint64_t budget, UNUSED uint64_t period,
193 return seL4_SchedControl_Configure(sched_ctrl, sc, budget, period, refills, badge);
185 api_sched_ctrl_configure(UNUSED seL4_CPtr sched_ctrl, UNUSED seL4_CPtr sc, UNUSED uint64_t budget, UNUSED uint64_t period, UNUSED seL4_Word refills, UNUSED seL4_Word badge) argument
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dltimer.c41 uint64_t period; member in struct:__anon81::__anon82::__anon83
123 if (pc99_ltimer->hpet.period > 0) {
134 hpet_get_time(&pc99_ltimer->hpet.device) + pc99_ltimer->hpet.period);
194 pc99_ltimer->hpet.period = ns;
196 pc99_ltimer->hpet.period = 0;
263 pc99_ltimer->hpet.period = 0;
/seL4-camkes-master/kernel/src/kernel/
H A Dsporadic.c153 void refill_new(sched_context_t *sc, word_t max_refills, ticks_t budget, ticks_t period, word_t core) argument
155 void refill_new(sched_context_t *sc, word_t max_refills, ticks_t budget, ticks_t period)
158 sc->scPeriod = period;
189 /* update period */
201 /* otherwise schedule the rest for the next period */
/seL4-camkes-master/projects/lwip/src/apps/http/makefsdata/
H A Dtinydir.h736 _tinydir_char_t *period = _tinydir_strrchr(file->name, TINYDIR_STRING('.'));
737 if (period == NULL)
743 file->extension = period + 1;
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A DObject.py558 def __init__(self, name, period=10000, budget=10000, data=0x0, size_bits='auto'):
560 self.period = period
568 s = '%(name)s = sc (period: %(period)s, budget: %(budget)s, data: %(data)s, %(size_bits)s bits)' % self.__dict__
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dthread.c95 config.sched_params.budget, config.sched_params.period,
393 return api_sched_ctrl_configure(params.sched_ctrl, thread->sched_context.cptr, params.budget, params.period,
/seL4-camkes-master/projects/capdl/capdl-loader-app/include/
H A Dcapdl.h277 uint64_t period; member in struct:__anon47
566 return obj->sc_extra.period;
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/
H A Dimx-regs.h340 uint32_t period; member in struct:cspi_regs
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dmacros.py435 sc.period = options.default_period
440 maybe_set_property_from_configuration(configuration, prefix, sc, 'period', 'period')
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/
H A Dmain.c980 uint64_t UNUSED period = CDL_SC_Period(cdl_sc); local
983 ZF_LOGD("budget: %llu, period: %llu, data: %u", budget, period, data);
990 seL4_sc, budget, period, 0, data);
/seL4-camkes-master/kernel/manual/parts/
H A Dthreads.tex109 \textit{budget}$(b)$ and \textit{period} $(p)$, both in microseconds, set by
164 their next period.
203 \apifunc{seL4\_SchedControl\_Configure}{schedcontrol_configure}, which allows the budget and period
271 exceeed the budget in their scheduling context for any given period, and that
/seL4-camkes-master/projects/picotcp/docs/user_manual/
H A Dchap_api_ipv4.tex492 \item \texttt{timeout} - Timeout period untill reply received (in ms)

Completed in 133 milliseconds