coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
timer.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef SOC_MEDIATEK_MT8173_TIMER_H
4 #define SOC_MEDIATEK_MT8173_TIMER_H
5 
6 #include <soc/timer_v1.h>
7 
8 #endif
timer_v1.h