l4/pkg/linux-26-headers/include/asm-x86/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 void pvclock_read_wallclock(struct pvclock_wall_clock *wall,
  10                             struct pvclock_vcpu_time_info *vcpu,
  11                             struct timespec *ts);
  12
  13 #endif /* _ASM_X86_PVCLOCK_H_ */