Searched refs:ticks (Results 1 - 25 of 46) sorted by relevance

12

/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dtimer.h29 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 Dtimer.h24 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 Dspt.c129 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 Dsystem_timer.c50 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 Dspt.c129 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 Dsystem_timer.c50 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 Dpit.h31 #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 Dpit.h31 #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 Dtimer.h30 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 Dtimer.h52 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 Dgpt.c218 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 Dgpt.c218 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 Dtimer.c82 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 Dsp804.c69 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 Dtimer.c82 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 Dsp804.c69 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 Dmeson_timer.c44 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 Dmeson_timer.c44 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 Dgeneric_timer.h50 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 Dgeneric_timer.h50 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 Ddmt.h68 /* 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 Dsp804.h73 /* 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 Ddmt.h68 /* 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 Dsp804.h73 /* 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 Ddmt.c77 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);

Completed in 59 milliseconds

12