| Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 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 void time_init(void); |
| David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame^] | 10 | extern bool pit_timer_init(void); |
| Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame] | 11 | |
| 12 | extern struct clock_event_device *global_clock_event; |
| 13 | |
| 14 | #endif /* _ASM_X86_TIME_H */ |