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