sysctl_clockrate
return (sysctl_clockrate(oldp, oldlenp, newp));
int sysctl_clockrate(char *, size_t *, void *);