Did you mean (for arch):__vdso_clock_gettime
Your search defs:__cvdso_clock_gettime did not match any files. Suggestions: