| 1 | /* SPDX-License-Identifier: GPL-2.0 */ |
|---|---|
| 2 | #ifndef _ASM_X86_TIME_H |
| 3 | #define _ASM_X86_TIME_H |
| 4 | |
| 5 | #include <linux/clocksource.h> |
| 6 | #include <asm/mc146818rtc.h> |
| 7 | |
| 8 | extern void hpet_time_init(void); |
| 9 | extern bool pit_timer_init(void); |
| 10 | extern bool tsc_clocksource_watchdog_disabled(void); |
| 11 | |
| 12 | extern struct clock_event_device *global_clock_event; |
| 13 | |
| 14 | #endif /* _ASM_X86_TIME_H */ |
| 15 |