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