Searched refs:vdso_size (Results 1 – 1 of 1) sorted by relevance
207 size_t dbg_vdso_size, vdso_size, i; in main() local227 vdso = map_vdso(vdso_path, &vdso_size); in main()241 } else if (msync(vdso, vdso_size, MS_SYNC) != 0) { in main()262 vdso_size); in main()263 for (i = 0; i < vdso_size; i++) { in main()273 vdso_size); in main()278 fprintf(out_file, "\t.size = PAGE_ALIGN(%zu),\n", vdso_size); in main()