1 /* SPDX-License-Identifier: GPL-2.0 */ 1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _KERNEL_TIME_TIMEKEEPING_H 2 #ifndef _KERNEL_TIME_TIMEKEEPING_H
3 #define _KERNEL_TIME_TIMEKEEPING_H 3 #define _KERNEL_TIME_TIMEKEEPING_H
4 /* 4 /*
5 * Internal interfaces for kernel/time/ 5 * Internal interfaces for kernel/time/
6 */ 6 */
7 extern ktime_t ktime_get_update_offsets_now(un 7 extern ktime_t ktime_get_update_offsets_now(unsigned int *cwsseq,
8 kt 8 ktime_t *offs_real,
9 kt 9 ktime_t *offs_boot,
10 kt 10 ktime_t *offs_tai);
11 11
12 extern int timekeeping_valid_for_hres(void); 12 extern int timekeeping_valid_for_hres(void);
13 extern u64 timekeeping_max_deferment(void); 13 extern u64 timekeeping_max_deferment(void);
14 extern void timekeeping_warp_clock(void); 14 extern void timekeeping_warp_clock(void);
15 extern int timekeeping_suspend(void); 15 extern int timekeeping_suspend(void);
16 extern void timekeeping_resume(void); 16 extern void timekeeping_resume(void);
17 #ifdef CONFIG_GENERIC_SCHED_CLOCK 17 #ifdef CONFIG_GENERIC_SCHED_CLOCK
18 extern int sched_clock_suspend(void); 18 extern int sched_clock_suspend(void);
19 extern void sched_clock_resume(void); 19 extern void sched_clock_resume(void);
20 #else 20 #else
21 static inline int sched_clock_suspend(void) { 21 static inline int sched_clock_suspend(void) { return 0; }
22 static inline void sched_clock_resume(void) { 22 static inline void sched_clock_resume(void) { }
23 #endif 23 #endif
24 24
25 extern void update_process_times(int user); <<
26 extern void do_timer(unsigned long ticks); 25 extern void do_timer(unsigned long ticks);
27 extern void update_wall_time(void); 26 extern void update_wall_time(void);
28 27
29 extern raw_spinlock_t jiffies_lock; !! 28 extern seqlock_t jiffies_lock;
30 extern seqcount_raw_spinlock_t jiffies_seq; <<
31 29
32 #define CS_NAME_LEN 32 30 #define CS_NAME_LEN 32
33 31
34 #endif 32 #endif
35 33
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.