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

#ifndef ARCH_X86_HPET_H
#define ARCH_X86_HPET_H

#define HPET_BASE_ADDRESS	0xfed00000

#endif /* ARCH_X86_HPET_H */