]> git.karo-electronics.de Git - mv-sheeva.git/blobdiff - arch/x86/vdso/vclock_gettime.c
Merge branch 'drivers-platform' into release
[mv-sheeva.git] / arch / x86 / vdso / vclock_gettime.c
index 1ef0f90813d626ed6be436b93d3d5b6550dbb392..d9d35824c56f30e56266445cdf9ed5877f94bf52 100644 (file)
@@ -9,6 +9,9 @@
  * Also alternative() doesn't work.
  */
 
+/* Disable profiling for userspace code: */
+#define DISABLE_BRANCH_PROFILING
+
 #include <linux/kernel.h>
 #include <linux/posix-timers.h>
 #include <linux/time.h>