| Vegard Nossum | 77ef50a | 2008-06-18 17:08:48 +0200 | [diff] [blame] | 1 | #ifndef ASM_X86__PVCLOCK_H |
| 2 | #define ASM_X86__PVCLOCK_H |
| Gerd Hoffmann | 7af192c | 2008-06-03 16:17:29 +0200 | [diff] [blame] | 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); |
| Glauber Costa | 3807f34 | 2008-07-28 11:47:52 -0300 | [diff] [blame] | 9 | unsigned long pvclock_tsc_khz(struct pvclock_vcpu_time_info *src); |
| Gerd Hoffmann | 7af192c | 2008-06-03 16:17:29 +0200 | [diff] [blame] | 10 | void pvclock_read_wallclock(struct pvclock_wall_clock *wall, |
| 11 | struct pvclock_vcpu_time_info *vcpu, |
| 12 | struct timespec *ts); |
| 13 | |
| Vegard Nossum | 77ef50a | 2008-06-18 17:08:48 +0200 | [diff] [blame] | 14 | #endif /* ASM_X86__PVCLOCK_H */ |