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 7DECLARE_PER_CPU(struct pvclock_vsyscall_time_info *, hv_clock_per_cpu); 8 9static __always_inline struct pvclock_vcpu_time_info *this_cpu_pvti(void) 10{ 11 return &this_cpu_read(hv_clock_per_cpu)->pvti; 12} 13 14static inline struct pvclock_vsyscall_time_info *this_cpu_hvclock(void) 15{ 16 return this_cpu_read(hv_clock_per_cpu); 17} 18 19#endif /* _ASM_X86_KVM_CLOCK_H */ 20