1 #ifndef ASM_X86__PVCLOCK_H
2 #define ASM_X86__PVCLOCK_H
4 #include <linux/clocksource.h>
5 #include <asm/pvclock-abi.h>
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
,
14 #endif /* ASM_X86__PVCLOCK_H */