PR_TIMING_STATISTICAL 1682 kernel/sys.c   			error = PR_TIMING_STATISTICAL;
PR_TIMING_STATISTICAL 1685 kernel/sys.c   			if (arg2 != PR_TIMING_STATISTICAL)