KERN_MAXPROC
SYSCTL_INT(_kern, KERN_MAXPROC, maxproc, CTLFLAG_RDTUN | CTLFLAG_NOFETCH,
case KERN_MAXPROC:
mib[1] = KERN_MAXPROC;
int mib[2] = { CTL_KERN, KERN_MAXPROC };