69 static u32 arch_timer_rate;  variable
754 	clockevents_config_and_register(clk, arch_timer_rate, 0xf, 0x7fffffff);  in __arch_timer_setup()
778 	evt_stream_div = arch_timer_rate / ARCH_TIMER_EVT_STREAM_FREQ;  in arch_timer_configure_evtstream()
861 	if (arch_timer_rate)  in arch_timer_of_configure_rate()
864 	if (of_property_read_u32(np, "clock-frequency", &arch_timer_rate))  in arch_timer_of_configure_rate()
865 		arch_timer_rate = rate;  in arch_timer_of_configure_rate()
868 	if (arch_timer_rate == 0)  in arch_timer_of_configure_rate()
879 		(unsigned long)arch_timer_rate / 1000000,  in arch_timer_banner()
880 		(unsigned long)(arch_timer_rate / 10000) % 100,  in arch_timer_banner()
892 	return arch_timer_rate;  in arch_timer_get_rate()
945 	clocksource_register_hz(&clocksource_counter, arch_timer_rate);  in arch_counter_register()
952 	sched_clock_register(arch_timer_read_counter, 56, arch_timer_rate);  in arch_counter_register()
1450 		if (rate == arch_timer_rate)  in arch_timer_mem_verify_cntfrq()
1455 			(unsigned long)rate, (unsigned long)arch_timer_rate);  in arch_timer_mem_verify_cntfrq()
1544 	arch_timer_rate = arch_timer_get_cntfrq();  in arch_timer_acpi_init()
1545 	if (!arch_timer_rate) {  in arch_timer_acpi_init()