1 /* SPDX-License-Identifier: GPL-2.0 */ 1
2 #ifndef _ASM_X86_KVM_CLOCK_H
3 #define _ASM_X86_KVM_CLOCK_H
4
5 #include <linux/percpu.h>
6
7 DECLARE_PER_CPU(struct pvclock_vsyscall_time_i
8
9 static __always_inline struct pvclock_vcpu_tim
10 {
11 return &this_cpu_read(hv_clock_per_cpu
12 }
13
14 static inline struct pvclock_vsyscall_time_inf
15 {
16 return this_cpu_read(hv_clock_per_cpu)
17 }
18
19 #endif /* _ASM_X86_KVM_CLOCK_H */
20
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.