Source
x
/* SPDX-License-Identifier: GPL-2.0 */
/*
* timekeeping debug functions
*/
extern void tk_debug_account_sleep_time(const struct timespec64 *t);
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;
}
static inline u64 clocksource_delta(u64 now, u64 last, u64 mask)
{
return (now - last) & mask;
}
/* _TIMEKEEPING_INTERNAL_H */