The kernel git history says the names have always been "__vdso_" rather
than "__kernel_", so I assume this was a copy & paste mistake from a
different architecture.
Luckily, the path to the kernel source that lets you confirm/deny this
_is_ correct :-)
---
man7/vdso.7 | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/man7/vdso.7 b/man7/vdso.7
index fabb34d0d..9f47efc7d 100644
--- a/man7/vdso.7
+++ b/man7/vdso.7
@@ -459,12 +459,12 @@ The table below lists the symbols exported by the vDSO.
l l.
symbol version
_
-__kernel_rt_sigreturn LINUX_4.15
-__kernel_gettimeofday LINUX_4.15
-__kernel_clock_gettime LINUX_4.15
-__kernel_clock_getres LINUX_4.15
-__kernel_getcpu LINUX_4.15
-__kernel_flush_icache LINUX_4.15
+__vdso_rt_sigreturn LINUX_4.15
+__vdso_gettimeofday LINUX_4.15
+__vdso_clock_gettime LINUX_4.15
+__vdso_clock_getres LINUX_4.15
+__vdso_getcpu LINUX_4.15
+__vdso_flush_icache LINUX_4.15
.TE
.if t \{\
.in
--
2.39.1.456.gfc5497dd1b-goog
