MAX_TCNAMELEN
char newname[MAX_TCNAMELEN];
char buf[MAX_TCNAMELEN+48];
sysctl_kern_timecounter_hardware, 0, NULL, MAX_TCNAMELEN,