Searched refs:counter_high (Results 1 – 2 of 2) sorted by relevance
155 uint32_t counter_high; in get_current_time() local165 counter_high = ctx.config->hw_timer->PCTH; in get_current_time()167 } while (counter_high != ctx.config->hw_timer->PCTH); in get_current_time()169 return ((uint64_t)counter_high << 32U) | counter_low; in get_current_time()
48 uint32_t counter_high; in mod_gtimer_get_counter() local58 counter_high = hw_timer->PCTH; in mod_gtimer_get_counter()60 } while (counter_high != hw_timer->PCTH); in mod_gtimer_get_counter()62 return ((uint64_t)counter_high << 32) | counter_low; in mod_gtimer_get_counter()138 uint32_t counter_high; in get_timer() local144 counter_high = ctx->hw_timer->P_CVALH; in get_timer()146 *timestamp = ((uint64_t)counter_high << 32) | counter_low; in get_timer()
Completed in 3 milliseconds