Subject: Re: NKPDE changes
To: Jonathan Stone <jonathan@DSG.Stanford.EDU>
From: Frank van der Linden <firstname.lastname@example.org>
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
> 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.