| .. | .. |
|---|
| 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 */ |
|---|