/* SPDX-License-Identifier: GPL-2.0-only */ #include <device/mmio.h> #include <soc/addressmap.h> #include <soc/timer.h> void timer_prepare(void) { clrbits32((void *)SYSTIMER_BASE, COMP_FEATURE_MASK); setbits32((void *)SYSTIMER_BASE, COMP_25_MASK); }