1 #ifndef _ASM_X86_PVCLOCK_H 2 #define _ASM_X86_PVCLOCK_H 3 4 #include <linux/clocksource.h> 5 #include <asm/pvclock-abi.h> 6 7 /* some helper functions for xen and kvm pv clock sources */ 8 cycle_t pvclock_clocksource_read(struct pvclock_vcpu_time_info *src); 9 unsigned long pvclock_tsc_khz(struct pvclock_vcpu_time_info *src); 10 void pvclock_read_wallclock(struct pvclock_wall_clock *wall, 11 struct pvclock_vcpu_time_info *vcpu, 12 struct timespec *ts); 13 14 #endif /* _ASM_X86_PVCLOCK_H */ 15