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 :-)
Signed-off-by: Elliott Hughes <enh@google.com>
Signed-off-by: Alejandro Colomar <alx@kernel.org>
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