| /seL4-refos-master/kernel/include/machine/ |
| H A D | timer.h | 18 static inline ticks_t getCurrentTime(void);
21 static inline void setDeadline(ticks_t deadline);
27 static PURE inline ticks_t getKernelWcetTicks(void)
|
| /seL4-refos-master/kernel/include/arch/riscv/arch/machine/ |
| H A D | timer.h | 25 static inline PURE ticks_t usToTicks(time_t us)
30 static inline PURE time_t ticksToUs(ticks_t ticks)
35 static inline PURE ticks_t getTimerPrecision(void)
40 static inline CONST ticks_t getMaxTicksToUs(void)
51 static inline ticks_t getCurrentTime(void)
57 static inline void setDeadline(ticks_t deadline)
|
| /seL4-refos-master/kernel/include/arch/x86/arch/machine/ |
| H A D | timer.h | 22 static inline PURE ticks_t usToTicks(time_t us)
33 static inline PURE ticks_t getTimerPrecision(void)
42 static inline ticks_t getCurrentTime(void)
47 static inline CONST ticks_t getMaxTicksToUs(void)
52 static inline PURE time_t ticksToUs(ticks_t ticks)
57 static inline void setDeadline(ticks_t deadline)
|
| /seL4-refos-master/kernel/include/arch/arm/arch/32/mode/machine/ |
| H A D | timer.h | 20 static inline CONST ticks_t getMaxTicksToUs(void)
29 static inline CONST time_t ticksToUs(ticks_t ticks)
|
| /seL4-refos-master/kernel/include/arch/arm/arch/64/mode/machine/ |
| H A D | timer.h | 15 static inline CONST ticks_t getMaxTicksToUs(void)
24 static inline CONST time_t ticksToUs(ticks_t ticks)
|
| /seL4-refos-master/kernel/include/drivers/timer/ |
| H A D | arm_generic.h | 17 static inline ticks_t getCurrentTime(void)
19 ticks_t time;
25 static inline void setDeadline(ticks_t deadline)
33 ticks_t deadline = UINT64_MAX;
|
| H A D | imx31-gpt.h | 34 extern ticks_t high_bits;
36 static inline ticks_t getCurrentTime(void)
41 static inline void setDeadline(ticks_t deadline)
|
| H A D | arm_global.h | 45 static inline ticks_t getCurrentTime(void)
59 return (((ticks_t) upper2 << 32llu) + (ticks_t) lower);
63 static inline void setDeadline(ticks_t deadline)
|
| H A D | exynos4412-mct.h | 18 static inline ticks_t getCurrentTime(void)
33 static inline void setDeadline(ticks_t deadline)
|
| H A D | am335x.h | 44 static inline ticks_t getCurrentTime(void)
54 static inline void setDeadline(ticks_t deadline)
|
| H A D | omap3430.h | 45 static inline void setDeadline(ticks_t deadline)
51 static inline ticks_t getCurrentTime(void)
|
| /seL4-refos-master/kernel/include/kernel/ |
| H A D | sporadic.h | 93 static inline ticks_t refill_capacity(sched_context_t *sc, ticks_t usage)
106 static inline bool_t refill_sufficient(sched_context_t *sc, ticks_t usage)
124 void refill_new(sched_context_t *sc, word_t max_refills, ticks_t budget, ticks_t period, word_t core);
127 void refill_new(sched_context_t *sc, word_t max_refills, ticks_t budget, ticks_t period);
132 void refill_update(sched_context_t *sc, ticks_t new_period, ticks_t new_budget, word_t new_max_refills);
141 void refill_budget_check(ticks_t use
[all...] |
| H A D | thread.h | 224 void chargeBudget(ticks_t consumed, bool_t canTimeoutFault, word_t core, bool_t isCurCPU);
252 ticks_t capacity = refill_capacity(NODE_STATE(ksCurSC), NODE_STATE(ksConsumed));
|
| /seL4-refos-master/kernel/include/arch/arm/arch/machine/ |
| H A D | timer.h | 39 static inline CONST ticks_t usToTicks(time_t us)
51 static inline CONST ticks_t getTimerPrecision(void)
|
| /seL4-refos-master/kernel/src/kernel/ |
| H A D | sporadic.c | 82 #define REFILL_SANITY_START(sc) ticks_t _sum = refill_sum(sc); assert(refill_ordered(sc));
99 static UNUSED ticks_t refill_sum(sched_context_t *sc)
101 ticks_t sum = refill_head(sc)->rAmount;
153 void refill_new(sched_context_t *sc, word_t max_refills, ticks_t budget, ticks_t period, word_t core)
155 void refill_new(sched_context_t *sc, word_t max_refills, ticks_t budget, ticks_t period)
171 void refill_update(sched_context_t *sc, ticks_t new_period, ticks_t new_budget, word_t new_max_refills)
237 void refill_budget_check(ticks_t usag
[all...] |
| H A D | thread.c | 582 void chargeBudget(ticks_t consumed, bool_t canTimeoutFault, word_t core, bool_t isCurCPU)
|
| /seL4-refos-master/kernel/src/model/ |
| H A D | statedata.c | 52 UP_STATE_DEFINE(ticks_t, ksConsumed);
56 UP_STATE_DEFINE(ticks_t, ksCurTime);
88 ticks_t ksDomainTime;
|
| /seL4-refos-master/kernel/src/drivers/timer/ |
| H A D | imx31-gpt.c | 23 ticks_t high_bits = 0;
|
| /seL4-refos-master/kernel/include/api/ |
| H A D | syscall.h | 17 #define TIME_ARG_SIZE (sizeof(ticks_t) / sizeof(word_t))
|
| H A D | types.h | 23 typedef uint64_t ticks_t; typedef
|
| /seL4-refos-master/kernel/src/object/ |
| H A D | schedcontrol.c | 13 static exception_t invokeSchedControl_Configure(sched_context_t *target, word_t core, ticks_t budget,
14 ticks_t period, word_t max_refills, word_t badge)
|
| H A D | schedcontext.c | 354 ticks_t consumed = sc->scConsumed;
|
| /seL4-refos-master/kernel/include/object/ |
| H A D | structures.h | 335 ticks_t rTime;
337 ticks_t rAmount;
344 ticks_t scPeriod;
348 ticks_t scConsumed;
|
| /seL4-refos-master/kernel/include/model/ |
| H A D | statedata.h | 110 extern ticks_t ksDomainTime;
|
| /seL4-refos-master/kernel/src/machine/ |
| H A D | capdl.c | 110 static inline ticks_t sc_get_budget(sched_context_t *sc)
112 ticks_t sum = REFILL_HEAD(sc).rAmount;
|