1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _ASM_X86_KVM_CLOCK_H
3#define _ASM_X86_KVM_CLOCK_H
4
5extern struct clocksource kvm_clock;
 
 
 
 
 
 
 
 
 
 
 
 
6
7#endif /* _ASM_X86_KVM_CLOCK_H */

 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 */