Searched refs:xicor_get_time (Results 1 – 2 of 2) sorted by relevance
48 extern time64_t xicor_get_time(void);83 sec = xicor_get_time(); in read_persistent_clock64()
167 time64_t xicor_get_time(void) in xicor_get_time() function