#define __vdso_clock_getres_offset	0x0a0c
#define __vdso_clock_gettime_offset	0x0578
#define __vdso_flush_icache_offset	0x0a98
#define __vdso_getcpu_offset	0x0a8c
#define __vdso_getrandom_offset	0x0bcc
#define __vdso_gettimeofday_offset	0x0854
#define __vdso_riscv_hwprobe_offset	0x0aa4
#define __vdso_rt_sigreturn_offset	0x0570
