linux/arch/x86/include/asm/kvmclock.h

/* SPDX-License-Identifier: GPL-2.0 */
#ifndef _ASM_X86_KVM_CLOCK_H
#define _ASM_X86_KVM_CLOCK_H

#include <linux/percpu.h>

DECLARE_PER_CPU(struct pvclock_vsyscall_time_info *, hv_clock_per_cpu);

static __always_inline struct pvclock_vcpu_time_info *this_cpu_pvti(void)
{ … }

static inline struct pvclock_vsyscall_time_info *this_cpu_hvclock(void)
{ … }

#endif /* _ASM_X86_KVM_CLOCK_H */