On Wed, 5 May 2021 14:28:45 +0100, Catalin Marinas wrote: > It should be 10KHz, matching the ARCH_TIMER_EVT_STREAM_PERIOD_US of > 100us. Applied to arm64 (for-next/core), thanks! [1/1] arm64: Correct the stated event stream frequency https://git.kernel.org/arm64/c/5d8505fd039c -- Catalin