Subject: Re: NKPDE changes
To: Frank van der Linden <frank@fwi.uva.nl>
From: Chris G Demetriou <Chris_G_Demetriou@ux2.sp.cs.cmu.edu>
List: port-i386
Date: 11/18/1996 12:21:14
> Just in case.. I made an error in the commit message, I said:
> 
> >- nkpde is calculated as:
> > 
> >        min(NKPDE_MAX, NKPDE_BASE + (biosextmem >> 10) * NKPDE_SCALE)
> 
> The correct wording is:
> 
> nkpde is calculated as:
> 
> 	NKPDE_BASE + (biosextmem >> 10) * NKPDE_SCALE
> 	with a maximum of NKPDE_MAX.

Uh, how are those two explanations different?  8-)



chris