Your search +path:cflags_remove_vdso32 +path:vclock_gettime +path:. +path:o did not match any files. Suggestions: