# CONFIG_ARM_ARCH_TIMER_EVTSTREAM is not set