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. Joerg