Searched refs:high_second (Results 1 – 1 of 1) sorted by relevance
1087 uint64_t high_second = 0; in ml_get_hwclock() local1095 high_second = __builtin_arm_mrrc(15, 0, 14) >> 32; in ml_get_hwclock()1096 } while (high_first != high_second); in ml_get_hwclock()