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

[Jason Thorpe <thorpej%me.com@localhost>]

We should absolutely verify this under DEBUG.

-- thorpej
Sent from my iPhone.

> On Jan 12, 2020, at 11:25 AM, Joerg Sonnenberger <joerg%bec.de@localhost> 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