.. | .. |
---|
1 | 1 | /* SPDX-License-Identifier: GPL-2.0 */ |
---|
2 | 2 | #ifndef _TIMEKEEPING_INTERNAL_H |
---|
3 | 3 | #define _TIMEKEEPING_INTERNAL_H |
---|
| 4 | + |
---|
| 5 | +#include <linux/clocksource.h> |
---|
| 6 | +#include <linux/spinlock.h> |
---|
| 7 | +#include <linux/time.h> |
---|
| 8 | + |
---|
4 | 9 | /* |
---|
5 | 10 | * timekeeping debug functions |
---|
6 | 11 | */ |
---|
7 | | -#include <linux/clocksource.h> |
---|
8 | | -#include <linux/time.h> |
---|
9 | | - |
---|
10 | 12 | #ifdef CONFIG_DEBUG_FS |
---|
11 | 13 | extern void tk_debug_account_sleep_time(const struct timespec64 *t); |
---|
12 | 14 | #else |
---|
.. | .. |
---|
31 | 33 | } |
---|
32 | 34 | #endif |
---|
33 | 35 | |
---|
| 36 | +/* Semi public for serialization of non timekeeper VDSO updates. */ |
---|
| 37 | +extern raw_spinlock_t timekeeper_lock; |
---|
| 38 | + |
---|
34 | 39 | #endif /* _TIMEKEEPING_INTERNAL_H */ |
---|