162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 262306a36Sopenharmony_ci#ifndef _ASM_X86_TIME_H 362306a36Sopenharmony_ci#define _ASM_X86_TIME_H 462306a36Sopenharmony_ci 562306a36Sopenharmony_ci#include <linux/clocksource.h> 662306a36Sopenharmony_ci#include <asm/mc146818rtc.h> 762306a36Sopenharmony_ci 862306a36Sopenharmony_ciextern void hpet_time_init(void); 962306a36Sopenharmony_ciextern bool pit_timer_init(void); 1062306a36Sopenharmony_ciextern bool tsc_clocksource_watchdog_disabled(void); 1162306a36Sopenharmony_ci 1262306a36Sopenharmony_ciextern struct clock_event_device *global_clock_event; 1362306a36Sopenharmony_ci 1462306a36Sopenharmony_ci#endif /* _ASM_X86_TIME_H */ 15