1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #include <device/mmio.h> 4 #include <soc/addressmap.h> 5 #include <soc/timer.h> 6 timer_prepare(void)7void timer_prepare(void) 8 { 9 clrbits32((void *)SYSTIMER_BASE, COMP_FEATURE_MASK); 10 setbits32((void *)SYSTIMER_BASE, COMP_25_MASK); 11 } 12