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

/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Dtimer.c310 static inline freq_t _ttc_get_freq(ttc_t *ttc) function
462 uint32_t fin = _ttc_get_freq(ttc);
478 uint32_t fin = _ttc_get_freq(ttc);

Completed in 32 milliseconds