We should absolutely verify this under DEBUG. -- thorpej Sent from my iPhone.
> On Jan 12, 2020, at 11:25 AM, Joerg Sonnenberger <jo...@bec.de> 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. > > Joerg
