On Sun, Jan 12, 2020 at 08:25:27PM +0100, Joerg Sonnenberger wrote:
> On Sun, Jan 12, 2020 at 01:01:12PM +0000, Andrew Doran wrote:
> > Module Name:        src
> > Committed By:       ad
> > Date:               Sun Jan 12 13:01:12 UTC 2020
> > 
> > Modified Files:
> >     src/sys/arch/x86/include: pmap.h pmap_pv.h
> >     src/sys/arch/x86/x86: pmap.c vm_machdep.c x86_tlb.c
> > 
> > Log Message:
> > x86 pmap:
> > 
> > - It turns out that every page the pmap frees is necessarily zeroed.  Tell
> >   the VM system about this and use the pmap as a source of pre-zeroed pages.
> 
> Would it make sense to actually verify this under DEBUG? I fear the
> debugging we have to do if a chance ever violates this assumption.

Yup we already do exactly this!

Andrew

Reply via email to