1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASM_X86_KVM_CLOCK_H
3 #define _ASM_X86_KVM_CLOCK_H
4 
5 #include <linux/percpu.h>
6 
7 extern struct clocksource kvm_clock;
8 
9 DECLARE_PER_CPU(struct pvclock_vsyscall_time_info *, hv_clock_per_cpu);
10 
this_cpu_pvti(void)11 static inline struct pvclock_vcpu_time_info *this_cpu_pvti(void)
12 {
13 	return &this_cpu_read(hv_clock_per_cpu)->pvti;
14 }
15 
this_cpu_hvclock(void)16 static inline struct pvclock_vsyscall_time_info *this_cpu_hvclock(void)
17 {
18 	return this_cpu_read(hv_clock_per_cpu);
19 }
20 
21 #endif /* _ASM_X86_KVM_CLOCK_H */
22