| /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
|
| /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
|
| /seL4-refos-master/libs/libplatsupport/src/plat/hikey/ |
| H A D | dmt.c | 77 uint64_t dmt_ticks_to_ns(uint64_t ticks) argument
100 int dmt_set_timeout_ticks(dmt_t *dmt, uint32_t ticks, bool periodic, bool irqs) argument
194 uint64_t ticks = (((uint64_t) high << 32llu) | low); local
|
| /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
100 int dmt_set_timeout_ticks(dmt_t *dmt, uint32_t ticks, bool periodic, bool irqs) argument
194 uint64_t ticks = (((uint64_t) high << 32llu) | low); local
|
| /seL4-refos-master/libs/libplatsupport/src/plat/fvp/ |
| H A D | sp804.c | 69 uint64_t sp804_ticks_to_ns(uint64_t ticks) argument
92 int sp804_set_timeout_ticks(sp804_t *sp804, uint32_t ticks, bool periodic, bool irqs) argument
160 uint64_t ticks = (((uint64_t) high << 32llu) | low); local
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
| H A D | sp804.c | 69 uint64_t sp804_ticks_to_ns(uint64_t ticks) argument
92 int sp804_set_timeout_ticks(sp804_t *sp804, uint32_t ticks, bool periodic, bool irqs) argument
160 uint64_t ticks = (((uint64_t) high << 32llu) | low); local
|
| /seL4-refos-master/libs/libplatsupport/src/plat/am335x/ |
| H A D | timer.c | 82 uint64_t ticks = freq_ns_and_hz_to_cycles(ns, 24000000llu); local
174 uint64_t ticks = (((uint64_t)high << 32llu) | low); local
|
| /seL4-refos-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
174 uint64_t ticks = (((uint64_t)high << 32llu) | low); local
|
| /seL4-refos-master/kernel/include/arch/x86/arch/machine/ |
| H A D | timer.h | 52 static inline PURE time_t ticksToUs(ticks_t ticks) argument
|
| /seL4-refos-master/libs/libplatsupport/src/mach/omap/ |
| H A D | gpt.c | 218 static uint64_t gpt_ticks_to_ns(uint64_t ticks) argument
261 uint64_t ticks = gpt_ns_to_ticks(ns) / BIT(gpt->prescaler + 1); local
310 uint64_t ticks; local
[all...] |
| /seL4-refos-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
261 uint64_t ticks = gpt_ns_to_ticks(ns) / BIT(gpt->prescaler + 1); local
310 uint64_t ticks; local
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
| H A D | pwm.c | 90 uint64_t ticks = (ns * CLK_FREQ) / 1000; local
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | pwm.c | 90 uint64_t ticks = (ns * CLK_FREQ) / 1000; local
|
| /seL4-refos-master/kernel/include/arch/riscv/arch/machine/ |
| H A D | timer.h | 30 static inline PURE time_t ticksToUs(ticks_t ticks) argument
|
| /seL4-refos-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
|
| /seL4-refos-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
|
| /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
|
| /seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
| H A D | generic_ltimer.c | 68 uint64_t ticks = generic_timer_get_ticks(); local
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
| H A D | timer.c | 457 uint64_t ttc_ticks_to_ns(ttc_t *ttc, uint32_t ticks) argument
|
| /seL4-refos-master/libs/libplatsupport/src/mach/zynq/ |
| H A D | timer.c | 457 uint64_t ttc_ticks_to_ns(ttc_t *ttc, uint32_t ticks) argument
|
| /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
|
| /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
|
| /seL4-refos-master/libs/libplatsupport/src/mach/nvidia/ |
| H A D | timer.c | 82 uint64_t ticks = microsecond * CLK_FREQ_MHZ; local
92 uint32_t ticks = get_ticks(ns); local
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
| H A D | timer.c | 82 uint64_t ticks = microsecond * CLK_FREQ_MHZ; local
92 uint32_t ticks = get_ticks(ns); local
|
| /seL4-refos-master/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
|