RISC-V: fix vDSO getcpu

The name should be `__vdso_getcpu`, not `__kernel_getcpu` according to both the manpage [0] and real RISC-V hardware. [0]: https://man7.org/linux/man-pages/man7/vdso.7.html
bytecodealliance · Dec 15, 2024 · 5af7044 · 5af7044
1 parent 74bcc35
commit 5af7044
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/backend/linux_raw/vdso_wrappers.rs b/src/backend/linux_raw/vdso_wrappers.rs
@@ -554,7 +554,7 @@ fn init() {
             #[cfg(target_arch = "x86")]
             let ptr = vdso.sym(cstr!("LINUX_2.6"), cstr!("__vdso_getcpu"));
             #[cfg(target_arch = "riscv64")]
-            let ptr = vdso.sym(cstr!("LINUX_4.15"), cstr!("__kernel_getcpu"));
+            let ptr = vdso.sym(cstr!("LINUX_4.15"), cstr!("__vdso_getcpu"));
             #[cfg(target_arch = "powerpc64")]
             let ptr = vdso.sym(cstr!("LINUX_2.6.15"), cstr!("__kernel_getcpu"));