1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _ASM_X86_TIMEX_H
3#define _ASM_X86_TIMEX_H
4
5#include <asm/processor.h>
6#include <asm/tsc.h>
7
8/* Assume we use the PIT time source for the clock tick */
9#define CLOCK_TICK_RATE PIT_TICK_RATE
10
11#define ARCH_HAS_READ_CURRENT_TIMER
12
13#endif /* _ASM_X86_TIMEX_H */
14