clocksource: Use a plain u64 instead of cycle_t
[linux-2.6-block.git] / drivers / clocksource / tcb_clksrc.c
index 4da2af9694a23b267cebdfa52da624e9f43b61fe..d4ca9962a7595a0206710a0dd4a95656f426ae8e 100644 (file)
@@ -41,7 +41,7 @@
 
 static void __iomem *tcaddr;
 
-static cycle_t tc_get_cycles(struct clocksource *cs)
+static u64 tc_get_cycles(struct clocksource *cs)
 {
        unsigned long   flags;
        u32             lower, upper;
@@ -56,7 +56,7 @@ static cycle_t tc_get_cycles(struct clocksource *cs)
        return (upper << 16) | lower;
 }
 
-static cycle_t tc_get_cycles32(struct clocksource *cs)
+static u64 tc_get_cycles32(struct clocksource *cs)
 {
        return __raw_readl(tcaddr + ATMEL_TC_REG(0, CV));
 }