LINUX_4.15 {
  global:
  __vdso_rt_sigreturn;
  __vdso_gettimeofday;
  __vdso_clock_gettime;
  __vdso_clock_getres;
  __vdso_getcpu;
  __vdso_flush_icache;
  local: *;
};