__machine__addnew_vdso
return __machine__addnew_vdso(machine, vdso_file->dso_name, file_name);
return __machine__addnew_vdso(machine, DSO__NAME_VDSO, file);