Searched refs:hi0 (Results 1 – 3 of 3) sorted by relevance
19 uint32_t hi0, lo, hi1; in counter_ace_v1x_rtc_get_value() local21 hi0 = sys_read32(ACE_RTCWC_HI); in counter_ace_v1x_rtc_get_value()24 } while (hi0 != hi1); in counter_ace_v1x_rtc_get_value()26 *value = (((uint64_t)hi0) << 32) | lo; in counter_ace_v1x_rtc_get_value()
64 uint32_t hi0, lo, hi1; in counter_ace_v1x_art_counter_get() local67 hi0 = sys_read32(ACE_ARTCS_HI); in counter_ace_v1x_art_counter_get()70 } while (hi0 != hi1); in counter_ace_v1x_art_counter_get()
85 uint32_t hi0, hi1, lo; in count() local88 hi0 = sys_read32(DSPWC_HI_ADDR); in count()91 } while (hi0 != hi1); in count()92 return (((uint64_t)hi0) << 32) | lo; in count()