]> xenbits.xensource.com Git - people/sstabellini/linux-pvhvm-deprecated.git/commitdiff
ARM: architected timers: Add A15 specific sched_clock implementation
authorMarc Zyngier <marc.zyngier@arm.com>
Fri, 20 Jan 2012 12:05:07 +0000 (12:05 +0000)
committerStefano Stabellini <stefano.stabellini@eu.citrix.com>
Fri, 8 Jun 2012 11:58:12 +0000 (11:58 +0000)
Provide an A15 sched_clock implementation using the virtual counter,
which is thought to be more useful than the physical one in a
virtualised environment, as it can offset the time spent in another
VM or the hypervisor.

Acked-by: Catalin Marinas <catalin.marinas@arm.com>
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>
arch/arm/include/asm/arch_timer.h
arch/arm/kernel/arch_timer.c

index 20de858999d6ec80d122343d67bc1e7bf9ced188..ca0f7836d90216f3caa044034b8c5768483c8b05 100644 (file)
@@ -8,5 +8,6 @@ struct arch_timer {
 };
 
 int arch_timer_register(struct arch_timer *);
+int arch_timer_sched_clock_init(void);
 
 #endif
index f10b692f7dd40caa57c9ed49dbfd05c0bdee80dd..13f2185c15ea8da2d003c5da25aea46fb3995d83 100644 (file)
@@ -22,6 +22,7 @@
 #include <asm/cputype.h>
 #include <asm/localtimer.h>
 #include <asm/arch_timer.h>
+#include <asm/sched_clock.h>
 
 static unsigned long arch_timer_rate;
 static int arch_timer_ppi;
@@ -202,6 +203,18 @@ static inline cycle_t arch_counter_get_cntvct(void)
        return ((u64) cvalh << 32) | cvall;
 }
 
+static u32 notrace arch_counter_get_cntvct32(void)
+{
+       cycle_t cntvct = arch_counter_get_cntvct();
+
+       /*
+        * The sched_clock infrastructure only knows about counters
+        * with at most 32bits. Forget about the upper 24 bits for the
+        * time being...
+        */
+       return (u32)(cntvct & (u32)~0);
+}
+
 static cycle_t arch_counter_read(struct clocksource *cs)
 {
        return arch_counter_get_cntpct();
@@ -284,3 +297,15 @@ out_free:
 
        return err;
 }
+
+int arch_timer_sched_clock_init(void)
+{
+       int err;
+
+       err = arch_timer_available();
+       if (err)
+               return err;
+
+       setup_sched_clock(arch_counter_get_cntvct32, 32, arch_timer_rate);
+       return 0;
+}