[PATCH v1 1/1] lib/arch: riscv: add vDSO-related definitions

Philippe Gerum <[email protected]> Mon, 13 Jul 2026 09:05:18 +0200
Newsgroups dev.linux.lists.xenomai
Message-ID <[email protected]>
From: Philippe Gerum <[email protected]>

Signed-off-by: Philippe Gerum <[email protected]>
---
 lib/arch/riscv/include/asm/evl/vdso.h | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 lib/arch/riscv/include/asm/evl/vdso.h

diff --git a/lib/arch/riscv/include/asm/evl/vdso.h b/lib/arch/riscv/include/asm/evl/vdso.h
new file mode 100644
index 0000000..0cd23b7
--- /dev/null
+++ b/lib/arch/riscv/include/asm/evl/vdso.h
@@ -0,0 +1,14 @@
+/*
+ * SPDX-License-Identifier: MIT
+ *
+ * Copyright (C) 2026 Philippe Gerum  <[email protected]>
+ */
+
+#ifndef _LIB_EVL_RISCV_VDSO_H
+#define _LIB_EVL_RISCV_VDSO_H
+
+#define __EVL_VDSO_KVERSION	"LINUX_4.15"
+
+#define __EVL_VDSO_GETTIME	"__vdso_clock_gettime"
+
+#endif /* !_LIB_EVL_RISCV_VDSO_H */
-- 
2.55.0