/* SPDX-License-Identifier: GPL-2.0-only */

#ifndef SOUTHBRIDGE_INTEL_COMMON_HPET_H
#define SOUTHBRIDGE_INTEL_COMMON_HPET_H

#include <stdint.h>

void enable_hpet(void);
void hpet_udelay(u32 delay);

#endif /* SOUTHBRIDGE_INTEL_COMMON_HPET_H */