1/*
2 * Copyright 2008, Dustin Howett, dustin.howett@gmail.com. All rights reserved.
3 * Distributed under the terms of the MIT License.
4 */
5#ifndef BOOT_ARCH_HPET_H
6#define BOOT_ARCH_HPET_H
7
8#include <SupportDefs.h>
9#include <arch/x86/arch_hpet.h>
10
11#ifdef __cplusplus
12extern "C" {
13#endif
14
15void hpet_init(void);
16
17#ifdef __cplusplus
18}
19#endif
20
21#endif	/* BOOT_ARCH_HPET_H */
22