#define __vdso_clock_getres_offset	0x09dc
#define __vdso_clock_gettime_offset	0x080a
#define __vdso_flush_icache_offset	0x0a30
#define __vdso_getcpu_offset	0x0a24
#define __vdso_gettimeofday_offset	0x0914
#define __vdso_riscv_hwprobe_offset	0x0a3a
#define __vdso_rt_sigreturn_offset	0x0800
