diff --git a/man2/syscall.2 b/man2/syscall.2
index e712b4186..fe5f86d50 100644
--- a/man2/syscall.2
+++ b/man2/syscall.2
@@ -145,7 +145,8 @@ The details for various architectures are listed in the two tables below.
 
 The first table lists the instruction used to transition to kernel mode,
 (which might not be the fastest or best way to transition to the kernel,
-so you might have to refer to the VDSO),
+so you might have to refer to
+.BR vdso (7)),
 the register used to indicate the system call number,
 and the register used to return the system call result.
 .if t \{\
@@ -219,4 +220,5 @@ main(int argc, char *argv[])
 .SH SEE ALSO
 .BR _syscall (2),
 .BR intro (2),
-.BR syscalls (2)
+.BR syscalls (2),
+.BR vdso (7)
diff --git a/man2/syscalls.2 b/man2/syscalls.2
index 265c65471..0d085e140 100644
--- a/man2/syscalls.2
+++ b/man2/syscalls.2
@@ -833,4 +833,5 @@ and similarly
 .SH SEE ALSO
 .BR syscall (2),
 .BR unimplemented (2),
-.BR libc (7)
+.BR libc (7),
+.BR vdso (7)
diff --git a/man3/getauxval.3 b/man3/getauxval.3
index 8f2793274..09d5bdc58 100755
--- a/man3/getauxval.3
+++ b/man3/getauxval.3
@@ -210,7 +210,5 @@ see
 for more information.
 .SH SEE ALSO
 .BR secure_getenv (3),
+.BR vdso (7),
 .BR ld-linux.so (8)
-
-The kernel source file
-.IR Documentation/ABI/stable/vdso