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 void pvclock_set_flags(u8 flags); 10 unsigned long pvclock_tsc_khz(struct pvclock_vcpu_time_info *src); 11 void pvclock_read_wallclock(struct pvclock_wall_clock *wall, 12 struct pvclock_vcpu_time_info *vcpu, 13 struct timespec *ts); 14 15 #endif /* _ASM_X86_PVCLOCK_H */ 16