pivotcount         84 user/testbin/psort/psort.c 	int pivotval, pivotpoint, pivotcount;
pivotcount         94 user/testbin/psort/psort.c 	pivotcount = 0;
pivotcount        105 user/testbin/psort/psort.c 			pivotcount++;
pivotcount        114 user/testbin/psort/psort.c 	assert(frontpos + pivotcount == readpos);