Searched refs:time_t (Results 1 – 16 of 16) sorted by relevance
| /seL4-master/include/arch/riscv/arch/machine/ |
| A D | timer.h | 19 static inline CONST time_t getKernelWcetUs(void) in getKernelWcetUs()
25 static inline PURE ticks_t usToTicks(time_t us) in usToTicks()
30 static inline PURE time_t ticksToUs(ticks_t ticks) in ticksToUs()
45 static inline PURE time_t getMaxUsToTicks(void) in getMaxUsToTicks()
|
| /seL4-master/include/arch/x86/arch/machine/ |
| A D | timer.h | 17 static inline CONST time_t getKernelWcetUs(void) in getKernelWcetUs()
22 static inline PURE ticks_t usToTicks(time_t us) in usToTicks()
28 static inline PURE time_t getMaxUsToTicks(void) in getMaxUsToTicks()
52 static inline PURE time_t ticksToUs(ticks_t ticks) in ticksToUs()
|
| /seL4-master/include/32/mode/api/ |
| A D | ipc_buffer.h | 13 static inline time_t mode_parseTimeArg(word_t i, word_t *buffer) in mode_parseTimeArg()
15 return (((time_t) getSyscallArg(i + 1, buffer) << 32llu) + getSyscallArg(i, buffer)); in mode_parseTimeArg()
18 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) in mode_setTimeArg()
|
| /seL4-master/include/64/mode/api/ |
| A D | ipc_buffer.h | 12 static inline time_t mode_parseTimeArg(word_t i, word_t *buffer) in mode_parseTimeArg()
17 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) in mode_setTimeArg()
|
| /seL4-master/include/arch/arm/arch/machine/ |
| A D | timer.h | 30 static inline CONST time_t getMaxUsToTicks(void) in getMaxUsToTicks()
39 static inline CONST ticks_t usToTicks(time_t us) in usToTicks()
|
| /seL4-master/include/arch/arm/arch/64/mode/machine/ |
| A D | timer.h | 24 static inline CONST time_t ticksToUs(ticks_t ticks) in ticksToUs()
|
| /seL4-master/include/arch/arm/arch/32/mode/machine/ |
| A D | timer.h | 29 static inline CONST time_t ticksToUs(ticks_t ticks) in ticksToUs()
|
| /seL4-master/include/model/ |
| A D | statedata.h | 68 NODE_STATE_DECLARE(time_t, ksConsumed);
69 NODE_STATE_DECLARE(time_t, ksCurTime);
|
| /seL4-master/include/object/ |
| A D | schedcontext.h | 69 time_t schedContext_updateConsumed(sched_context_t *sc);
|
| /seL4-master/src/object/ |
| A D | schedcontrol.c | 102 time_t budget_us = mode_parseTimeArg(0, buffer); in decodeSchedControl_ConfigureFlags()
104 time_t period_us = mode_parseTimeArg(TIME_ARG_SIZE, buffer); in decodeSchedControl_ConfigureFlags()
|
| A D | schedcontext.c | 164 time_t consumed = schedContext_updateConsumed(sc); in setConsumed()
380 time_t schedContext_updateConsumed(sched_context_t *sc) in schedContext_updateConsumed()
|
| /seL4-master/src/arch/arm/ |
| A D | platform_gen.h.in | 40 static inline CONST time_t getKernelWcetUs(void)
|
| /seL4-master/include/kernel/ |
| A D | thread.h | 226 time_t prev = NODE_STATE(ksCurTime); in updateTimestamp()
229 time_t consumed = (NODE_STATE(ksCurTime) - prev); in updateTimestamp()
|
| /seL4-master/include/api/ |
| A D | types.h | 24 typedef uint64_t time_t; typedef
|
| /seL4-master/src/api/ |
| A D | faults.c | 225 time_t consumed = schedContext_updateConsumed(sender->tcbSchedContext); in setMRs_fault()
|
| /seL4-master/src/kernel/ |
| A D | thread.c | 577 time_t next_interrupt = NODE_STATE(ksCurTime) + in setNextInterrupt()
|
Completed in 21 milliseconds