On Fri, Jul 29, 2016 at 3:31 PM, Mark Kettenis <[email protected]> wrote: >> Date: Thu, 28 Jul 2016 09:47:42 +0200 >> From: Patrick Wildt <[email protected]> >> >> There is something I missed in the previous diff. When the PTE is not >> valid, the mapping behind the virtual address of course isn't valid. >> A flush to an unmapped page will give us a translation fault. So only >> flush if the page was active. >> >> ok? > > I'm not sure this is right. If the page has been modified we may need > to flush the cache.
If a modified page is invalidated, won't it be flushed then? Can we really have modified, but invalid pages? Philip Guenther
