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

12

/seL4-camkes-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-camkes-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-camkes-master/projects/picotcp/include/arch/
H A Dpico_dos.h24 unsigned long ticks; local
27 ticks = regs.x.cx; /* number of ticks since midnight (high word) */
28 ticks <<= 16;
29 ticks |= regs.x.dx; /* number of ticks since midnight (low word) */
30 return (ticks * 55); /* a tick is 55ms because the i8253 PIT runs at 18.2 Hz */
/seL4-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-master/projects/util_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);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dpit.c64 uint64_t ticks = PIT_NS_TO_TICKS(ns); local
74 error = ps_io_port_out(&pit->ops, PIT_IOPORT_CHANNEL(0), 1, (uint8_t) (ticks & 0xFF));
80 error = ps_io_port_out(&pit->ops, PIT_IOPORT_CHANNEL(0), 1, (uint8_t) (ticks >> 8) & 0xFF);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/
H A Dtimer.c82 uint64_t ticks = microsecond * CLK_FREQ_MHZ; local
83 if (ticks >= BIT(PVT_VAL_BITS)) {
87 return (uint32_t)ticks;
92 uint32_t ticks = get_ticks(ns); local
93 if (ticks == INVALID_PVT_VAL) {
99 tmr->tmr_map->pvt = BIT(PVT_E_BIT) | ticks
/seL4-camkes-master/tools/rumprun/platform/hw/arch/x86/
H A Dclock.c49 * Multiplier for converting nsecs to PIT ticks. (1.32) fixed point.
73 /* Multiplier for converting TSC ticks to nsecs. (0.32) fixed point. */
479 unsigned int ticks; local
493 * Compute delta in PIT ticks. Return if it is less than minimum safe
494 * amount of ticks. Essentially this will cause us to spin until
514 * Maximum timer delay is 65535 ticks.
517 ticks = 65535;
519 ticks = delta_ticks;
523 * interrupt is actually delivered in N + 1 ticks.
525 outb(TIMER_CNTR, (ticks
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/imx/platsupport/mach/
H A Depit.h72 /* set a relative timeout in ticks */
73 int epit_set_timeout_ticks(epit_t *epit, uint64_t ticks, bool periodic);
74 /* convert epit ticks to ns */
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/
H A Dtimer.h103 /* convert from a ticks value to ns for a configured ttc */
104 uint64_t ttc_ticks_to_ns(ttc_t *ttc, uint32_t ticks);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/epit/
H A Depit.c163 uint64_t ticks = (epit->high_bits + !!epit->epit_map->epitsr) << 32llu; local
164 ticks += (UINT32_MAX - epit->epit_map->epitcnt);
165 return (ticks * 1000llu) / (IPG_FREQ / (epit->prescaler + 1));
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rockpro64/
H A Dtimer.c98 uint64_t ticks = freq_ns_and_hz_to_cycles(ns, 24000000ull); local
99 rk->hw->load_count0 = (uint32_t)(ticks & 0xffffffff);
100 rk->hw->load_count1 = (ticks >> 32);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dpwm.c90 uint64_t ticks = (ns * CLK_FREQ) / 1000; local
91 uint32_t prescale = ticks >> (32);
92 uint32_t cnt = ticks / (prescale + 1) / (BIT(div));
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Dgeneric_ltimer.c68 uint64_t ticks = generic_timer_get_ticks(); local
69 *time = freq_cycles_and_hz_to_ns(ticks, ltimer->freq);

Completed in 223 milliseconds

12