KERN_CPTIME2      273 kern/kern_sysctl.c 		case KERN_CPTIME2:
KERN_CPTIME2      535 kern/kern_sysctl.c 	case KERN_CPTIME2: