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