> I think that you also might prefer if I remove all the changes that
> document the fact that the read buffer should not be a shadow_contents,
> and just document this in one place.  I will do that next. I am just
> sending this patch now, to have a trace of the patch before I undo
> some of my changes.

And attached is the simplified version without the extra comments.
Tested on x86_64-linux, with and without GDBserver...

Thanks,
-- 
Joel