Searched refs:ttc_ticks_to_ns (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/
H A Dtimer.h104 uint64_t ttc_ticks_to_ns(ttc_t *ttc, uint32_t ticks);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Dtimer.c437 ttc->hi_time += ttc_ticks_to_ns(ttc, CNT_MAX);
457 uint64_t ttc_ticks_to_ns(ttc_t *ttc, uint32_t ticks) function
476 ttc->hi_time += ttc_ticks_to_ns(ttc, CNT_MAX);

Completed in 28 milliseconds