32 lines
780 B
C
32 lines
780 B
C
/* 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
|
|
extern void tk_debug_account_sleep_time(const struct timespec64 *t);
|
|
#else
|
|
#define tk_debug_account_sleep_time(x)
|
|
#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. */
|
|
extern raw_spinlock_t timekeeper_lock;
|
|
|
|
#endif /* _TIMEKEEPING_INTERNAL_H */
|