arch_timer_mem_frame_get_cntfrq 1474 drivers/clocksource/arm_arch_timer.c 	rate = arch_timer_mem_frame_get_cntfrq(frame);
arch_timer_mem_frame_get_cntfrq 1501 drivers/clocksource/arm_arch_timer.c 		rate = arch_timer_mem_frame_get_cntfrq(frame);