clocksource: Use a plain u64 instead of cycle_t
[linux-block.git] / arch / x86 / kernel / pvclock.c
index 5b2cc889ce346586527ff260f018b5d7d436ca8f..9e93fe5803b470676997cec46a5f05f6e3c1177c 100644 (file)
@@ -71,10 +71,10 @@ u8 pvclock_read_flags(struct pvclock_vcpu_time_info *src)
        return flags & valid_flags;
 }
 
-cycle_t pvclock_clocksource_read(struct pvclock_vcpu_time_info *src)
+u64 pvclock_clocksource_read(struct pvclock_vcpu_time_info *src)
 {
        unsigned version;
-       cycle_t ret;
+       u64 ret;
        u64 last;
        u8 flags;