-From 2d1f039d4915305494fe3ec090f5cd432781c818 Mon Sep 17 00:00:00 2001
+From 34d9128d7b0f909f9153b6bdac5b222d39b150c6 Mon Sep 17 00:00:00 2001
 From: Julien Ridoux <julien@synclab.org>
 Date: Thu, 21 Jan 2010 16:15:52 +1100
 Subject: [PATCH RADclock 9/9] VDSO get_vcounter

+/* Only called while gtod->lock is held */
+notrace static inline vcounter_t vread_vcounter_delta(void)
+{
+	return((clocksource_read(clock) - clock->vcounter_source_record) & clock->mask);
+}
+
+/* Copy of the version in kernel/time/timekeeping.c which we cannot directly access */

 }
 
diff --git a/arch/x86/vdso/vclock_gettime.c b/arch/x86/vdso/vclock_gettime.c
index ee55754..d1463c9 100644
--- a/arch/x86/vdso/vclock_gettime.c
+++ b/arch/x86/vdso/vclock_gettime.c
@@ -157,3 +157,90 @@ notrace int __vdso_gettimeofday(struct timeval *tv, struct timezone *tz)
