On Wed, Apr 24, 2019 at 1:20 PM Matthew Wilcox <wi...@infradead.org> wrote: > It depends on the semantics you want. There's no legacy code to > worry about here. I was seeing this as the equivalent of an atexit() > handler; userspace is saying "When this page is unmapped, zero it". > So it doesn't matter that somebody else might be able to reference it -- > userspace could have zeroed it themselves.
Mm ok that seems reasonable. I'll rework with that in mind.
