dbg_vdso_size     203 arch/mips/vdso/genvdso.c 	size_t dbg_vdso_size, vdso_size, i;
dbg_vdso_size     219 arch/mips/vdso/genvdso.c 	dbg_vdso = map_vdso(dbg_vdso_path, &dbg_vdso_size);
dbg_vdso_size     233 arch/mips/vdso/genvdso.c 	if (msync(dbg_vdso, dbg_vdso_size, MS_SYNC) != 0) {