/seL4-camkes-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-camkes-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-camkes-master/projects/picotcp/include/arch/ |
H A D | pico_dos.h | 24 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 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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-master/projects/util_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);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | pit.c | 64 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 D | timer.c | 82 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 D | clock.c | 49 * 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 D | epit.h | 72 /* 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 D | timer.h | 103 /* 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 D | epit.c | 163 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 D | timer.c | 98 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 D | pwm.c | 90 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 D | generic_ltimer.c | 68 uint64_t ticks = generic_timer_get_ticks(); local 69 *time = freq_cycles_and_hz_to_ns(ticks, ltimer->freq);
|