--- /opt/intel/vtune_amplifier_xe/sepdk/src/vtsspp/collector.c	2014-08-05 23:12:19.000000000 +0200
+++ collector.c	2015-01-31 12:24:17.793192007 +0100
@@ -988,8 +988,8 @@
                 TRACE("vtss_record_module() FAIL");
             }
 #ifdef CONFIG_X86_64
-            addr = (unsigned long)VSYSCALL_START;
-            size = (unsigned long)(VSYSCALL_MAPPED_PAGES * PAGE_SIZE);
+            addr = (unsigned long)VSYSCALL_ADDR;
+            size = (unsigned long)PAGE_SIZE;
             if (vtss_record_module(tskd->trnd_aux, 0, addr, size, "[vsyscall]", 0, cputsc, realtsc, SAFE)) {
                 TRACE("vtss_record_module() FAIL");
             }
--- /opt/intel/vtune_amplifier_xe/sepdk/src/vtsspp/user_vm.c	2014-08-05 23:12:19.000000000 +0200
+++ user_vm.c	2015-01-31 12:24:17.793192007 +0100
@@ -550,7 +550,7 @@
     kaddr += (CONFIG_PHYSICAL_START + (CONFIG_PHYSICAL_ALIGN - 1)) & ~(CONFIG_PHYSICAL_ALIGN - 1);

 #ifdef CONFIG_X86_64
-    if ((ip >= VSYSCALL_START) && (ip < VSYSCALL_END))
+    if (ip == VSYSCALL_ADDR)
         return 1; /* [vsyscall] */
     else
 #endif