sysctl_clockrate  335 kern/kern_sysctl.c 		return (sysctl_clockrate(oldp, oldlenp));
sysctl_clockrate  692 sys/sysctl.h   int sysctl_clockrate(char *, size_t *);