#define __vdso_clock_getres_offset	0x0c08
#define __vdso_clock_gettime_offset	0x0608
#define __vdso_flush_icache_offset	0x0ca8
#define __vdso_getcpu_offset	0x0c9c
#define __vdso_getrandom_offset	0x0e10
#define __vdso_gettimeofday_offset	0x09b0
#define __vdso_riscv_hwprobe_offset	0x0cb8
#define __vdso_rt_sigreturn_offset	0x05e0
