arch_timer_counter_has_wa  970 drivers/clocksource/arm_arch_timer.c 			if (arch_timer_counter_has_wa())
arch_timer_counter_has_wa  975 drivers/clocksource/arm_arch_timer.c 			if (arch_timer_counter_has_wa())