arch/x86/include/asm/pvclock.h

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