Symbol: arch_timer_counter_has_wa
drivers/clocksource/arm_arch_timer.c
916
if (arch_timer_counter_has_wa()) {
drivers/clocksource/arm_arch_timer.c
924
if (arch_timer_counter_has_wa()) {