__machine__findnew_compat
*dso = __machine__findnew_compat(machine, &vdso_info->vdso32);
*dso = __machine__findnew_compat(machine, &vdso_info->vdsox32);