> x86-64 defines both __vdso_xxxx and xxxx. x86-64 uses Are you sure this is the case for all kernels, even the earliest? I think I added that code as-is because the __vdso_* names got introduced later.