KERN_TIMECOUNTER  271 kern/kern_sysctl.c 		case KERN_TIMECOUNTER:
KERN_TIMECOUNTER  529 kern/kern_sysctl.c 	case KERN_TIMECOUNTER: