> > That is exactly the situation in pageattr.c. You're saying the manual
Yes that's true. It's one of the design problems of the intent API that makes
fixing this hard unfortunately.
(intent API assumes that the caller doesn't fully own the page to change, and
if you can't control it 100% it is not possible to unmap it temporarily)
Ok.
-Andi
--