arch_timer_counter_has_wa  613 drivers/clocksource/arm_arch_timer.c static bool arch_timer_counter_has_wa(void)
arch_timer_counter_has_wa  620 drivers/clocksource/arm_arch_timer.c #define arch_timer_counter_has_wa()			({false;})