Lines Matching defs:vdso
191 static bool patch_vdso(const char *path, void *vdso)
194 return patch_vdso64(path, vdso);
196 return patch_vdso32(path, vdso);
199 static bool get_symbols(const char *path, void *vdso)
202 return get_symbols64(path, vdso);
204 return get_symbols32(path, vdso);
210 void *dbg_vdso, *vdso;
231 vdso = map_vdso(vdso_path, &vdso_size);
232 if (!vdso)
238 if (!patch_vdso(vdso_path, vdso))
245 } else if (msync(vdso, vdso_size, MS_SYNC) != 0) {
261 fprintf(out_file, "#include <asm/vdso.h>\n");
266 fprintf(out_file, " current->mm->context.vdso =\n");
278 fprintf(out_file, "0x%02x, ", ((unsigned char *)vdso)[i]);
292 fprintf(out_file, "\t\t.name = \"[vdso]\",\n");