Searched refs:hi_time (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/
H A Dtimer.h79 uint64_t hi_time; member in struct:__anon7
/seL4-refos-master/libs/libplatsupport/mach_include/zynq/platsupport/mach/
H A Dtimer.h79 uint64_t hi_time; member in struct:__anon3
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Dtimer.c437 ttc->hi_time += ttc_ticks_to_ns(ttc, CNT_MAX);
475 /* Bump the hi_time counter now, as there may be latency in serving the interrupt */
476 ttc->hi_time += ttc_ticks_to_ns(ttc, CNT_MAX);
479 return ttc->hi_time + freq_cycles_and_hz_to_ns(cnt, fin);
/seL4-refos-master/libs/libplatsupport/src/mach/zynq/
H A Dtimer.c437 ttc->hi_time += ttc_ticks_to_ns(ttc, CNT_MAX);
475 /* Bump the hi_time counter now, as there may be latency in serving the interrupt */
476 ttc->hi_time += ttc_ticks_to_ns(ttc, CNT_MAX);
479 return ttc->hi_time + freq_cycles_and_hz_to_ns(cnt, fin);

Completed in 79 milliseconds