Searched refs:clock_high (Results 1 – 1 of 1) sorted by relevance
227 static int get_clock(uint32_t *clock_high, uint32_t *clock_low, in get_clock() argument339 *clock_high = clock_reg >> 32; in get_clock()