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