arch_timer_mem_frame_register 1477 drivers/clocksource/arm_arch_timer.c 	ret = arch_timer_mem_frame_register(frame);
arch_timer_mem_frame_register 1557 drivers/clocksource/arm_arch_timer.c 		ret = arch_timer_mem_frame_register(best_frame);