/seL4-camkes-master/kernel/include/kernel/ |
H A D | sporadic.h | 13 * 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 D | schedcontrol.c | 14 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 D | tqueue.h | 25 /* 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 D | generic_ltimer.c | 28 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 D | ltimer.c | 43 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 D | lapic.h | 20 int64_t period; /* unit: ns */
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/ |
H A D | tqueue.c | 160 if (t->timeout.period > 0) { 161 t->timeout.abs_time += t->timeout.period;
|
H A D | local_time_manager.c | 117 timeout.period = ns;
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | thread_config.h | 39 uint64_t period; member in struct:sched_params 78 params.period = period_us;
|
H A D | mcs_api.h | 186 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 D | ltimer.c | 41 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 D | sporadic.c | 153 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 D | tinydir.h | 736 _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 D | Object.py | 558 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 D | thread.c | 95 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 D | capdl.h | 277 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 D | imx-regs.h | 340 uint32_t period; member in struct:cspi_regs
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | macros.py | 435 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 D | main.c | 980 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 D | threads.tex | 109 \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 D | chap_api_ipv4.tex | 492 \item \texttt{timeout} - Timeout period untill reply received (in ms)
|