drivers/mipi: Add support for KD_KD110N11_51IE panel
[coreboot2.git] / src / soc / mediatek / common / timer_prepare.c
blob3fb4be7f2d9f5ffb0bb462f29b1034a9544a7f8d
1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <device/mmio.h>
4 #include <soc/addressmap.h>
5 #include <soc/timer.h>
7 void timer_prepare(void)
9 clrbits32((void *)SYSTIMER_BASE, COMP_FEATURE_MASK);
10 setbits32((void *)SYSTIMER_BASE, COMP_25_MASK);