/* SPDX-License-Identifier: GPL-2.0 */ | |
#ifndef _ASM_X86_KVM_CLOCK_H | |
#define _ASM_X86_KVM_CLOCK_H | |
#include <linux/percpu.h> | |
extern struct clocksource kvm_clock; | |
DECLARE_PER_CPU(struct pvclock_vsyscall_time_info *, hv_clock_per_cpu); | |
static inline struct pvclock_vcpu_time_info *this_cpu_pvti(void) | |
{ | |
return &this_cpu_read(hv_clock_per_cpu)->pvti; | |
} | |
static inline struct pvclock_vsyscall_time_info *this_cpu_hvclock(void) | |
{ | |
return this_cpu_read(hv_clock_per_cpu); | |
} | |
#endif /* _ASM_X86_KVM_CLOCK_H */ |