63 static u32 arch_timer_rate;  variable
792 	clockevents_config_and_register(clk, arch_timer_rate, 0xf, 0x7fffffff);  in __arch_timer_setup()
813 	evt_stream_div = arch_timer_rate / ARCH_TIMER_EVT_STREAM_FREQ;  in arch_timer_configure_evtstream()
896 	if (arch_timer_rate)  in arch_timer_of_configure_rate()
899 	if (of_property_read_u32(np, "clock-frequency", &arch_timer_rate))  in arch_timer_of_configure_rate()
900 		arch_timer_rate = rate;  in arch_timer_of_configure_rate()
903 	if (arch_timer_rate == 0)  in arch_timer_of_configure_rate()
914 		(unsigned long)arch_timer_rate / 1000000,  in arch_timer_banner()
915 		(unsigned long)(arch_timer_rate / 10000) % 100,  in arch_timer_banner()
927 	return arch_timer_rate;  in arch_timer_get_rate()
990 	clocksource_register_hz(&clocksource_counter, arch_timer_rate);  in arch_counter_register()
997 	sched_clock_register(arch_timer_read_counter, 56, arch_timer_rate);  in arch_counter_register()
1502 		if (rate == arch_timer_rate)  in arch_timer_mem_verify_cntfrq()
1507 			(unsigned long)rate, (unsigned long)arch_timer_rate);  in arch_timer_mem_verify_cntfrq()
1596 	arch_timer_rate = arch_timer_get_cntfrq();  in arch_timer_acpi_init()
1597 	if (!arch_timer_rate) {  in arch_timer_acpi_init()