Re: CVS commit: src/sys/arch/x86

[Joerg Sonnenberger <joerg%bec.de@localhost>]

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