7
7
/* some helper functions for xen and kvm pv clock sources */
8
8
cycle_t pvclock_clocksource_read(struct pvclock_vcpu_time_info *src);
9
10
unsigned long pvclock_tsc_khz(struct pvclock_vcpu_time_info *src);
10
11
void pvclock_read_wallclock(struct pvclock_wall_clock *wall,
11
12
struct pvclock_vcpu_time_info *vcpu,
14
54
#endif /* _ASM_X86_PVCLOCK_H */