/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/machine/ |
H A D | timer.h | 29 static inline CONST time_t ticksToUs(ticks_t ticks) argument 33 return (ticks * KHZ_IN_MHZ) * CLK_MAGIC >> CLK_SHIFT; 35 return (ticks * CLK_MAGIC) >> CLK_SHIFT;
|
/seL4-refos-master/kernel/include/arch/arm/arch/64/mode/machine/ |
H A D | timer.h | 24 static inline CONST time_t ticksToUs(ticks_t ticks) argument 27 return (ticks * TIMER_CLOCK_KHZ) / TIMER_CLOCK_MHZ; 29 return ticks / TIMER_CLOCK_MHZ;
|
/seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/ |
H A D | spt.c | 129 uint64_t ticks = ns / (NS_IN_US / (spt->freq / MHZ)); local 132 if (ticks == 0) { 138 if (ticks >= (UINT32_MAX + 1)) { 139 ticks /= 16; 140 if (ticks >= (1ULL << 32)) { 141 ticks /= 16; 142 if (ticks >= (1ULL << 32)) { 154 spt->regs->load = ticks;
|
H A D | system_timer.c | 50 uint64_t ticks = (high << 32) | low; local 51 uint64_t time = ticks * SYSTEM_TIMER_NS_PER_TICK; 63 uint64_t ticks = time / SYSTEM_TIMER_NS_PER_TICK; local 65 if (timeout_ticks < ticks) { 68 } else if ((timeout_ticks - ticks) > UINT32_MAX) {
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
H A D | spt.c | 129 uint64_t ticks = ns / (NS_IN_US / (spt->freq / MHZ)); local 132 if (ticks == 0) { 138 if (ticks >= (UINT32_MAX + 1)) { 139 ticks /= 16; 140 if (ticks >= (1ULL << 32)) { 141 ticks /= 16; 142 if (ticks >= (1ULL << 32)) { 154 spt->regs->load = ticks;
|
H A D | system_timer.c | 50 uint64_t ticks = (high << 32) | low; local 51 uint64_t time = ticks * SYSTEM_TIMER_NS_PER_TICK; 63 uint64_t ticks = time / SYSTEM_TIMER_NS_PER_TICK; local 65 if (timeout_ticks < ticks) { 68 } else if ((timeout_ticks - ticks) > UINT32_MAX) {
|
/seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
H A D | pit.h | 31 #define PIT_TICKS_TO_NS(ticks) ((uint32_t)(ticks) * (NS_IN_S / TICKS_PER_SECOND))
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
H A D | pit.h | 31 #define PIT_TICKS_TO_NS(ticks) ((uint32_t)(ticks) * (NS_IN_S / TICKS_PER_SECOND))
|
/seL4-refos-master/kernel/include/arch/riscv/arch/machine/ |
H A D | timer.h | 30 static inline PURE time_t ticksToUs(ticks_t ticks) argument 32 return div64(ticks, TICKS_IN_US);
|
/seL4-refos-master/kernel/include/arch/x86/arch/machine/ |
H A D | timer.h | 52 static inline PURE time_t ticksToUs(ticks_t ticks) argument 54 return div64(ticks, x86KStscMhz);
|
/seL4-refos-master/libs/libplatsupport/src/mach/omap/ |
H A D | gpt.c | 218 static uint64_t gpt_ticks_to_ns(uint64_t ticks) argument 220 return (ticks / CLK_MHZ) * NS_IN_US; 261 uint64_t ticks = gpt_ns_to_ticks(ns) / BIT(gpt->prescaler + 1); local 263 if (ticks >= UINT32_MAX) { 265 ZF_LOGE("Timeout too big for timer, max %u, got %llu\n", UINT32_MAX - 1, ticks); 269 /* invert ticks - it's an upcounter and will interrupt on overflow */ 270 ticks = UINT32_MAX - ticks; 278 gpt->gpt_map->tldr = (uint32_t) ticks; 281 gpt->gpt_map->tcrr = (uint32_t) ticks; 310 uint64_t ticks; local [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/omap/ |
H A D | gpt.c | 218 static uint64_t gpt_ticks_to_ns(uint64_t ticks) argument 220 return (ticks / CLK_MHZ) * NS_IN_US; 261 uint64_t ticks = gpt_ns_to_ticks(ns) / BIT(gpt->prescaler + 1); local 263 if (ticks >= UINT32_MAX) { 265 ZF_LOGE("Timeout too big for timer, max %u, got %llu\n", UINT32_MAX - 1, ticks); 269 /* invert ticks - it's an upcounter and will interrupt on overflow */ 270 ticks = UINT32_MAX - ticks; 278 gpt->gpt_map->tldr = (uint32_t) ticks; 281 gpt->gpt_map->tcrr = (uint32_t) ticks; 310 uint64_t ticks; local [all...] |
/seL4-refos-master/libs/libplatsupport/src/plat/am335x/ |
H A D | timer.c | 82 uint64_t ticks = freq_ns_and_hz_to_cycles(ns, 24000000llu); local 83 if (ticks < 2) { 88 if (ticks > UINT32_MAX) { 94 dmt->hw->tldr = 0xffffffff - (ticks); 97 dmt->hw->tcrr = 0xffffffff - (ticks); 174 uint64_t ticks = (((uint64_t)high << 32llu) | low); local 175 return freq_cycles_and_hz_to_ns(ticks, 24000000llu);
|
/seL4-refos-master/libs/libplatsupport/src/plat/fvp/ |
H A D | sp804.c | 69 uint64_t sp804_ticks_to_ns(uint64_t ticks) argument 71 return ticks / TICKS_PER_MS * NS_IN_MS; 92 int sp804_set_timeout_ticks(sp804_t *sp804, uint32_t ticks, bool periodic, bool irqs) argument 105 sp804_regs->bgload = ticks; 109 sp804_regs->load = ticks; 160 uint64_t ticks = (((uint64_t) high << 32llu) | low); local 161 return sp804_ticks_to_ns(ticks);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
H A D | timer.c | 82 uint64_t ticks = freq_ns_and_hz_to_cycles(ns, 24000000llu); local 83 if (ticks < 2) { 88 if (ticks > UINT32_MAX) { 94 dmt->hw->tldr = 0xffffffff - (ticks); 97 dmt->hw->tcrr = 0xffffffff - (ticks); 174 uint64_t ticks = (((uint64_t)high << 32llu) | low); local 175 return freq_cycles_and_hz_to_ns(ticks, 24000000llu);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
H A D | sp804.c | 69 uint64_t sp804_ticks_to_ns(uint64_t ticks) argument 71 return ticks / TICKS_PER_MS * NS_IN_MS; 92 int sp804_set_timeout_ticks(sp804_t *sp804, uint32_t ticks, bool periodic, bool irqs) argument 105 sp804_regs->bgload = ticks; 109 sp804_regs->load = ticks; 160 uint64_t ticks = (((uint64_t) high << 32llu) | low); local 161 return sp804_ticks_to_ns(ticks);
|
/seL4-refos-master/libs/libplatsupport/src/plat/odroidc2/ |
H A D | meson_timer.c | 44 uint64_t ticks = (high << 32) | low; local 45 uint64_t time = ticks * NS_IN_US;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
H A D | meson_timer.c | 44 uint64_t ticks = (high << 32) | low; local 45 uint64_t time = ticks * NS_IN_US;
|
/seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/arch/ |
H A D | generic_timer.h | 50 static inline void generic_timer_set_compare(uint64_t ticks) argument 52 COPROC_WRITE_64(CNTP_CVAL, ticks);
|
/seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/arch/ |
H A D | generic_timer.h | 50 static inline void generic_timer_set_compare(uint64_t ticks) argument 52 COPROC_WRITE_64(CNTP_CVAL, ticks);
|
/seL4-refos-master/libs/libplatsupport/plat_include/hikey/platsupport/plat/ |
H A D | dmt.h | 68 /* convert between dmt ticks and ns */ 69 uint64_t dmt_ticks_to_ns(uint64_t ticks); 72 int dmt_set_timeout_ticks(dmt_t *dmt, uint32_t ticks, bool periodic, bool irqs);
|
/seL4-refos-master/libs/libplatsupport/plat_include/fvp/platsupport/plat/ |
H A D | sp804.h | 73 /* convert between dmt ticks and ns */ 74 uint64_t sp804_ticks_to_ns(uint64_t ticks); 77 int sp804_set_timeout_ticks(sp804_t *timer, uint32_t ticks, bool periodic, bool irqs);
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/ |
H A D | dmt.h | 68 /* convert between dmt ticks and ns */ 69 uint64_t dmt_ticks_to_ns(uint64_t ticks); 72 int dmt_set_timeout_ticks(dmt_t *dmt, uint32_t ticks, bool periodic, bool irqs);
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/fvp/platsupport/plat/ |
H A D | sp804.h | 73 /* convert between dmt ticks and ns */ 74 uint64_t sp804_ticks_to_ns(uint64_t ticks); 77 int sp804_set_timeout_ticks(sp804_t *timer, uint32_t ticks, bool periodic, bool irqs);
|
/seL4-refos-master/libs/libplatsupport/src/plat/hikey/ |
H A D | dmt.c | 77 uint64_t dmt_ticks_to_ns(uint64_t ticks) argument 79 return ticks / TICKS_PER_MS * NS_IN_MS; 100 int dmt_set_timeout_ticks(dmt_t *dmt, uint32_t ticks, bool periodic, bool irqs) argument 113 /* No need to check for ticks == 0, because 0 is a valid value: 131 * dmt->regs->bgload = ticks; 137 dmt_regs->bgload = ticks; 141 dmt_regs->load = ticks; 194 uint64_t ticks = (((uint64_t) high << 32llu) | low); local 195 return dmt_ticks_to_ns(ticks);
|