Re: [PATCH] new interface: memory_object_get_proxy

[Sergey Bugaev]

On Mon, Nov 1, 2021 at 10:36 PM Samuel Thibault <samuel.thibault@gnu.org> wrote:
> offset is inside the original object, and start is in the proxy object.
> Think for instance of /dev/mem, within which you could want to map some
> VGA-compatible range at 0xA0000 (that's the start), but the mapping
> range is a subpart of the memory of some device (that's the offset).

Makes sense, thank you. But that means the code in vm_map () is wrong:
it'd need to subtract 'start' and add 'offset' of the proxy to the
user-specified 'offset'. Currently it adds 'start' and ignores
'offset'.

Sergey