Searched refs:upper_saved (Results 1 – 1 of 1) sorted by relevance
123 uint32_t upper, upper_saved; in arm_arch_timer_count() local136 upper_saved = upper; in arm_arch_timer_count()139 } while (upper != upper_saved); in arm_arch_timer_count()