Lines Matching refs:vdso
191 static bool patch_vdso(const char *path, void *vdso) in patch_vdso() argument
194 return patch_vdso64(path, vdso); in patch_vdso()
196 return patch_vdso32(path, vdso); in patch_vdso()
199 static bool get_symbols(const char *path, void *vdso) in get_symbols() argument
202 return get_symbols64(path, vdso); in get_symbols()
204 return get_symbols32(path, vdso); in get_symbols()
210 void *dbg_vdso, *vdso; in main() local
231 vdso = map_vdso(vdso_path, &vdso_size); in main()
232 if (!vdso) in main()
238 if (!patch_vdso(vdso_path, vdso)) in main()
245 } else if (msync(vdso, vdso_size, MS_SYNC) != 0) { in main()
278 fprintf(out_file, "0x%02x, ", ((unsigned char *)vdso)[i]); in main()