Re: [PATCH v15 0/6] MR7610: win32u: Create a shared object for user handle entries.

[Jacek Caban (＠jacek)]

Jacek Caban (@jacek) commented about server/mapping.c:
>  object_id_t last_object_id;
>
> };
>
> +const session_shm_t *shared_session;

It's not const from server's point of view. I don’t really like the idea of 'usually const'. IMO, it’s either const or it’s not.