187 static bool patch_vdso(const char *path, void *vdso)  in patch_vdso()  argument
190 		return patch_vdso64(path, vdso);  in patch_vdso()
192 		return patch_vdso32(path, vdso);  in patch_vdso()
195 static bool get_symbols(const char *path, void *vdso)  in get_symbols()  argument
198 		return get_symbols64(path, vdso);  in get_symbols()
200 		return get_symbols32(path, vdso);  in get_symbols()
206 	void *dbg_vdso, *vdso;  in main()  local
227 	vdso = map_vdso(vdso_path, &vdso_size);  in main()
228 	if (!vdso)  in main()
234 	if (!patch_vdso(vdso_path, vdso))  in main()
241 	} else if (msync(vdso, vdso_size, MS_SYNC) != 0) {  in main()
266 		fprintf(out_file, "0x%02x, ", ((unsigned char *)vdso)[i]);  in main()