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 */ 8cycle_t pvclock_clocksource_read(struct pvclock_vcpu_time_info *src); 9void pvclock_set_flags(u8 flags); 10unsigned long pvclock_tsc_khz(struct pvclock_vcpu_time_info *src); 11void 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