On Sat, Oct 1, 2022 at 1:00 AM Jann Horn <jannh@xxxxxxxxxx> wrote: > So I think this change is actually a no-op - the only thing it does is > to return 0 if write==1, !_PAGE_RW, and _PAGE_DIRTY. But the check > below will always return 0 if !_PAGE_RW, unless I'm misreading it? Er, to be precise, it will always return 0 if write==1 and !_PAGE_RW.