Searched refs:arch_timer_get_rate (Results 1 – 6 of 6) sorted by relevance
28 arch_delay_timer.freq = arch_timer_get_rate(); in arch_timer_delay_timer_register()34 u32 arch_timer_rate = arch_timer_get_rate(); in arch_timer_arch_init()
85 extern u32 arch_timer_get_rate(void);92 static inline u32 arch_timer_get_rate(void) in arch_timer_get_rate() function
63 arch_timer_rate = arch_timer_get_rate(); in time_init()
180 ratio = (u64)arch_timer_get_rate() << (2 * SCHED_CAPACITY_SHIFT); in validate_cpu_freq_invariance_counters()
520 pt_regs_write_reg(regs, rt, arch_timer_get_rate()); in cntfrq_read_handler()610 pt_regs_write_reg(regs, reg, arch_timer_get_rate()); in compat_cntfrq_read_handler()
951 u32 arch_timer_get_rate(void) in arch_timer_get_rate() function
