/* SPDX-License-Identifier: GPL-2.0 */#ifndef _TIMEKEEPING_INTERNAL_H#define _TIMEKEEPING_INTERNAL_H #include <linux/clocksource.h>#include <linux/spinlock.h>#include <linux/time.h> /* * timekeeping debug functions */#ifdef CONFIG_DEBUG_FS DECLARE_PER_CPU(unsigned long, timekeeping_mg_floor_swaps); static inline void timekeeping_inc_mg_floor_swaps(void){	this_cpu_inc(timekeeping_mg_floor_swaps);} extern void tk_debug_account_sleep_time(const struct timespec64 *t); #else #define tk_debug_account_sleep_time(x) static inline void timekeeping_inc_mg_floor_swaps(void){} #endif static inline u64 clocksource_delta(u64 now, u64 last, u64 mask, u64 max_delta){	u64 ret = (now - last) & mask; 	/*	 * Prevent time going backwards by checking the result against	 * @max_delta. If greater, return 0.	 */	return ret > max_delta ? 0 : ret;} /* Semi public for serialization of non timekeeper VDSO updates. */unsigned long timekeeper_lock_irqsave(void);void timekeeper_unlock_irqrestore(unsigned long flags); #endif /* _TIMEKEEPING_INTERNAL_H */