[RFC v6 09/23] RISC-V: Add support for 32-bit vDSO calls

[Arnd Bergmann]

On Sun, Jan 12, 2020 at 11:40 AM Alistair Francis
<alistair.francis@wdc.com> wrote:
> +# if __riscv_xlen == 32
> +#  define VDSO_NAME  "LINUX_5.4"
> +#  define VDSO_HASH  61765876

> +#  define HAVE_CLOCK_GETTIME64_VSYSCALL        "__vdso_clock_gettime64"
> +#  define HAVE_GETCPU_VSYSCALL         "__vdso_getcpu"

Mainline linux doesn't have these yet on risc-v. I assume you have
patches to add them?

      Arnd