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