Searched refs:PCTH (Results 1 – 3 of 3) sorted by relevance
25 FWK_R uint32_t PCTH; member165 counter_high = ctx.config->hw_timer->PCTH; in get_current_time()167 } while (counter_high != ctx.config->hw_timer->PCTH); in get_current_time()
67 FWK_R uint32_t PCTH; member
58 counter_high = hw_timer->PCTH; in mod_gtimer_get_counter()60 } while (counter_high != hw_timer->PCTH); in mod_gtimer_get_counter()
Completed in 4 milliseconds