Searched refs:vdso_size (Results 1 – 4 of 4) 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()
76 unsigned long vdso_size = PAGE_SIZE; in main() local89 ret = try_to_remap((void *)auxval, vdso_size); in main()90 vdso_size += PAGE_SIZE; in main()
63 unsigned long vdso_size; in vdso_mremap() local66 vdso_size = (vdso_total_pages - 1) << PAGE_SHIFT; in vdso_mremap()68 if (vdso_size != new_size) in vdso_mremap()
117 unsigned long vdso_size = vdso_end - vdso_start; in vdso_mremap() local119 if (vdso_size != new_size) in vdso_mremap()
