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 */ 12