WORKNUM            64 user/testbin/psort/psort.c static int workspace[WORKNUM];
WORKNUM           534 user/testbin/psort/psort.c 		if (keys_to_do > WORKNUM) {
WORKNUM           535 user/testbin/psort/psort.c 			keys_to_do = WORKNUM;
WORKNUM           636 user/testbin/psort/psort.c 		if (keys_to_do > WORKNUM) {
WORKNUM           637 user/testbin/psort/psort.c 			keys_to_do = WORKNUM;
WORKNUM           762 user/testbin/psort/psort.c 		if (worknum >= WORKNUM) {
WORKNUM           763 user/testbin/psort/psort.c 			assert(worknum == WORKNUM);
WORKNUM           952 user/testbin/psort/psort.c 		if (keys_to_do > WORKNUM) {
WORKNUM           953 user/testbin/psort/psort.c 			keys_to_do = WORKNUM;