coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
hpet.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef SOUTHBRIDGE_INTEL_COMMON_HPET_H
4 #define SOUTHBRIDGE_INTEL_COMMON_HPET_H
5 
6 #include <stdint.h>
7 
8 void enable_hpet(void);
9 void hpet_udelay(u32 delay);
10 
11 #endif /* SOUTHBRIDGE_INTEL_COMMON_HPET_H */
delay
void delay(unsigned int secs)
Definition: delay.c:8
enable_hpet
void enable_hpet(void)
Definition: hpet.c:13
hpet_udelay
void hpet_udelay(u32 delay)
Definition: hpet.c:25
u32
uint32_t u32
Definition: stdint.h:51