arch_timer_get_rate
arch_delay_timer.freq = arch_timer_get_rate();
u32 arch_timer_rate = arch_timer_get_rate();
arch_timer_rate = arch_timer_get_rate();
u64 ratio, ref_rate = arch_timer_get_rate();
pt_regs_write_reg(regs, rt, arch_timer_get_rate());
pt_regs_write_reg(regs, reg, arch_timer_get_rate());
at->rate = arch_timer_get_rate();
extern u32 arch_timer_get_rate(void);