| /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/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/libs/libplatsupport/src/plat/bcm2837/ |
| H A D | system_timer.c | 50 uint64_t ticks = (high << 32) | low; local
63 uint64_t ticks = time / SYSTEM_TIMER_NS_PER_TICK; local
|
| H A D | spt.c | 129 uint64_t ticks = ns / (NS_IN_US / (spt->freq / MHZ)); local
|
| /seL4-refos-master/libs/libplatsupport/src/plat/odroidc2/ |
| H A D | meson_timer.c | 44 uint64_t ticks = (high << 32) | low; local
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
| H A D | system_timer.c | 50 uint64_t ticks = (high << 32) | low; local
63 uint64_t ticks = time / SYSTEM_TIMER_NS_PER_TICK; local
|
| H A D | spt.c | 129 uint64_t ticks = ns / (NS_IN_US / (spt->freq / MHZ)); local
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
| H A D | meson_timer.c | 44 uint64_t ticks = (high << 32) | low; 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/x86/arch/machine/ |
| H A D | timer.h | 52 static inline PURE time_t ticksToUs(ticks_t ticks) argument
|
| /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
|
| /seL4-refos-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
|
| /seL4-refos-master/libs/libplatsupport/src/plat/pc99/ |
| H A D | pit.c | 64 uint64_t ticks = PIT_NS_TO_TICKS(ns); local
|
| /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
|
| /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/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/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/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/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/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/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/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/rockpro64/ |
| H A D | timer.c | 98 uint64_t ticks = freq_ns_and_hz_to_cycles(ns, 24000000ull); local
|