Try echo 0 > /proc/sys/kernel/vsyscall64
If you try to use gettimeofday calls and they do not appear, what time source is used by the system (pmtimer, acpi, tsc, hpet, etc.). I wonder if you dare to humor me while trying to force your timer to something older, like pmtimer. Perhaps one of the many gtod timer optimizations is that your ptrace calls can be avoided even if vsyscall is set to zero.
source share