CPU_ADJKERNTZ
mib[1] = CPU_ADJKERNTZ;
mib[1] = CPU_ADJKERNTZ;
SYSCTL_PROC(_machdep, CPU_ADJKERNTZ, adjkerntz, CTLTYPE_INT|CTLFLAG_RW,
SYSCTL_PROC(_machdep, CPU_ADJKERNTZ, adjkerntz, CTLTYPE_INT|CTLFLAG_RW,