Symbol: arch_timer_check_ool_workaround
drivers/clocksource/arm_arch_timer.c
1159
arch_timer_check_ool_workaround(ate_match_dt, np);
drivers/clocksource/arm_arch_timer.c
1235
arch_timer_check_ool_workaround(ate_match_acpi_oem_info, table);
drivers/clocksource/arm_arch_timer.c
681
arch_timer_check_ool_workaround(ate_match_local_cap_id, NULL);