CONFIG_ARM_ARCH_TIMER_OOL_WORKAROUND   23 arch/arm64/include/asm/arch_timer.h #if IS_ENABLED(CONFIG_ARM_ARCH_TIMER_OOL_WORKAROUND)
CONFIG_ARM_ARCH_TIMER_OOL_WORKAROUND  378 drivers/clocksource/arm_arch_timer.c #ifdef CONFIG_ARM_ARCH_TIMER_OOL_WORKAROUND