/* 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
|
|
#ifdef CONFIG_CLOCKSOURCE_VALIDATE_LAST_CYCLE
|
static 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;
|
}
|
#else
|
static 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 */
|
