/* 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_FSextern void tk_debug_account_sleep_time(const struct timespec64 *t);#else#define tk_debug_account_sleep_time(x)#endif #ifdef CONFIG_CLOCKSOURCE_VALIDATE_LAST_CYCLEstatic inline u64 clocksource_delta(u64 now, u64 last, u64 mask){	u64 ret = (now - last) & mask; 	/*	 * Prevent time going backwards by checking the MSB of mask in	 * the result. If set, return 0.	 */	return ret & ~(mask >> 1) ? 0 : ret;}#elsestatic inline u64 clocksource_delta(u64 now, u64 last, u64 mask){	return (now - last) & mask;}#endif /* Semi public for serialization of non timekeeper VDSO updates. */extern raw_spinlock_t timekeeper_lock; #endif /* _TIMEKEEPING_INTERNAL_H */