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
7extern struct clocksource kvm_clock;
8
9DECLARE_PER_CPU(struct pvclock_vsyscall_time_info *, hv_clock_per_cpu);
10
11static __always_inline struct pvclock_vcpu_time_info *this_cpu_pvti(void)
12{
13 return &this_cpu_read(hv_clock_per_cpu)->pvti;
14}
15
16static 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

source code of linux/arch/x86/include/asm/kvmclock.h