worknum           705 user/testbin/psort/psort.c 	int numready, place, val, worknum;
worknum           717 user/testbin/psort/psort.c 	worknum = 0;
worknum           761 user/testbin/psort/psort.c 		workspace[worknum++] = val;
worknum           762 user/testbin/psort/psort.c 		if (worknum >= WORKNUM) {
worknum           763 user/testbin/psort/psort.c 			assert(worknum == WORKNUM);
worknum           765 user/testbin/psort/psort.c 				worknum * sizeof(int));
worknum           766 user/testbin/psort/psort.c 			worknum = 0;
worknum           771 user/testbin/psort/psort.c 	dowrite(outname, outfd, workspace, worknum * sizeof(int));