> On 3 Jun 2021, at 04:07, Thomas Munro <thomas(dot)munro(at)gmail(dot)com> wrote:
> Here's a patch to remove the misleading comments.
While not an expert in the area; reading the referenced commit and the code
with the now removed comments, I think this is correct.
--
Daniel Gustafsson https://vmware.com/