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