Searched refs:arch_counter_get_cntpct (Results 1 – 1 of 1) sorted by relevance
22 static inline uint64_t arch_counter_get_cntpct(void) in arch_counter_get_cntpct() function39 cntpct = arch_counter_get_cntpct() / (gd->arch.timer_rate_hz / 1000); in key_timer()