Re: MPS: Forwording symbols

[Helmut Eller]

On Tue, Jun 18 2024, Gerd Möllmann wrote:

> Gerd Möllmann <gerd.moellmann@gmail.com> writes:
>
>>> One remaining problem is what to do with all the uses of
>>> pdumper_object_p.  
>>
>> I can offer to take care of these, if you want. But I would also remove
>> that child of tunnel vision, you know what I mean...

Hm, not sure what you mean.  I was thinking about shrinking the region
in dump_public to the part that is pinned or making it empty.

> I've now just done that, sorry :-). Except that I didn't look at the
> pdumper_object_p outside igc.c because I think these should all be ok.

In alloc.c, pdumper_object_p is used a lot.  Let's hope for the best :-).