/seL4-refos-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-refos-master/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-refos-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-refos-master/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-refos-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-refos-master/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-refos-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-refos-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-refos-master/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-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | music.c | 689 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 D | music.c | 689 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 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-refos-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-refos-master/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-refos-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-refos-master/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-refos-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-refos-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);
|
/seL4-refos-master/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);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | timer.c | 349 * 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 D | timer.c | 349 * 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);
|