On Sat, May 28, 2011 at 5:12 PM, Hugh Dickins [off-list ref] wrote:

Though I think I'm arriving at the conclusion that this patch
is correct as is, despite the doubts that have arisen.

Well, you hopefully saw my second email where I had come to the same conclusion.

So I applied the third patch as well, after all. I think it's at the
very least at least "more correct" than what we have now. Whether that
"page_mapped()" should then be extended to do something else is an
additional thing, and I suspect it would affect the slow-path case
too.

I dunno.

                    Linus

--
To unsubscribe, send a message with 'unsubscribe linux-mm' in
the body to majordomo@kvack.org.  For more info on Linux MM,
see: http://www.linux-mm.org/ .
Fight unfair telecom internet charges in Canada: sign http://stopthemeter.ca/
Don't email: <a href=mailto:"dont@kvack.org"> email@kvack.org </a>