2008-06-18 23:08:48 +08:00
|
|
|
#ifndef ASM_X86__PVCLOCK_H
|
|
|
|
#define ASM_X86__PVCLOCK_H
|
2008-06-03 22:17:29 +08:00
|
|
|
|
|
|
|
#include <linux/clocksource.h>
|
|
|
|
#include <asm/pvclock-abi.h>
|
|
|
|
|
|
|
|
/* some helper functions for xen and kvm pv clock sources */
|
|
|
|
cycle_t pvclock_clocksource_read(struct pvclock_vcpu_time_info *src);
|
|
|
|
void pvclock_read_wallclock(struct pvclock_wall_clock *wall,
|
|
|
|
struct pvclock_vcpu_time_info *vcpu,
|
|
|
|
struct timespec *ts);
|
|
|
|
|
2008-06-18 23:08:48 +08:00
|
|
|
#endif /* ASM_X86__PVCLOCK_H */
|