On Tue, 19 Nov 1996 18:47:18 -0800 
 Jonathan Stone <jonathan@DSG.Stanford.EDU> wrote:

 > 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?

machdep.nkpde ... you need to recompile sysctl for it to grok the name.
(*sigh*, for a better sysctl interface...)

Jason R. Thorpe                                       thorpej@nas.nasa.gov
NASA Ames Research Center                               Home: 408.866.1912
NAS: M/S 258-6                                          Work: 415.604.0935
Moffett Field, CA 94035                                Pager: 415.428.6939