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

12

/seL4-refos-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-refos-master/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-refos-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-refos-master/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-refos-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-refos-master/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-refos-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-refos-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-refos-master/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-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dmusic.c689 STATIC_OVL void tone(hz, ticks)
690 /* emit tone of frequency hz for given number of ticks */
691 unsigned int hz, ticks;
693 ioctl(0,KDMKTONE,hz|((ticks*10)<<16));
695 printf("TONE: %6d %6d\n",hz,ticks * 10);
697 nap(ticks * 10);
700 STATIC_OVL void rest(ticks)
701 /* rest for given number of ticks */
702 int ticks;
704 nap(ticks * 1
[all...]
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dmusic.c689 STATIC_OVL void tone(hz, ticks)
690 /* emit tone of frequency hz for given number of ticks */
691 unsigned int hz, ticks;
693 ioctl(0,KDMKTONE,hz|((ticks*10)<<16));
695 printf("TONE: %6d %6d\n",hz,ticks * 10);
697 nap(ticks * 10);
700 STATIC_OVL void rest(ticks)
701 /* rest for given number of ticks */
702 int ticks;
704 nap(ticks * 1
[all...]
/seL4-refos-master/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-refos-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-refos-master/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-refos-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-refos-master/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-refos-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-refos-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);
/seL4-refos-master/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);
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Dtimer.c349 * at that frequency. The number of ticks it will take for the
457 uint64_t ttc_ticks_to_ns(ttc_t *ttc, uint32_t ticks) argument
463 return freq_cycles_and_hz_to_ns(ticks, fin);
/seL4-refos-master/libs/libplatsupport/src/mach/zynq/
H A Dtimer.c349 * at that frequency. The number of ticks it will take for the
457 uint64_t ttc_ticks_to_ns(ttc_t *ttc, uint32_t ticks) argument
463 return freq_cycles_and_hz_to_ns(ticks, fin);

Completed in 82 milliseconds

12