sysctl_kern_timecounter_adjprecision
static int sysctl_kern_timecounter_adjprecision(SYSCTL_HANDLER_ARGS);
sysctl_kern_timecounter_adjprecision, "I",