[WATCHDOG] Add support for the IDT RC32434 watchdog
[linux-2.6/linux-2.6-openrd.git] / include / asm-x86 / pvclock.h
blob85b1bba8e0a34a2ac4121e1fe04324f02efdb603
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 void pvclock_read_wallclock(struct pvclock_wall_clock *wall,
10 struct pvclock_vcpu_time_info *vcpu,
11 struct timespec *ts);
13 #endif /* _ASM_X86_PVCLOCK_H_ */