Subject: Re: NKPDE changes
To: Jonathan Stone <jonathan@DSG.Stanford.EDU>
From: Frank van der Linden <>
List: port-i386
Date: 11/20/1996 10:36:54
Quoting Jonathan Stone,

> How are users supposed to find out what nkpde actually gets set to
> (e.g., for users who alter parameters that need more or fewer
> nkpde's)?

> I can't find anything (e.g., in /usr/sbin/sysctl) that shows what the
> calculated value of nkpde is.  Can we get add it to /usr/sbin/sysctl,
> or  to kernfs, or something?

sysctl can be used (see the commit message). Machdep sysctl variables
aren't properly document anywhere though.. that needs to be fixed.

- Frank