PR_TIMING_STATISTICAL 2315 kernel/sys.c   		error = PR_TIMING_STATISTICAL;
PR_TIMING_STATISTICAL 2318 kernel/sys.c   		if (arg2 != PR_TIMING_STATISTICAL)