array1             43 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c unsigned int array1[ELEMS];
array1            103 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c 		if (array1[i] != 0) {
array1            104 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c 			printf("FAILED in file %s at line %d: array1[%d] = %u != %d\n", __FILE__, __LINE__, i, array1[i], 0);
array1            124 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c 	  write_data(array1, array1_start);
array1            127 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c 	  read_data(array1, array1_start, "array1");
array1            183 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c 	read_data(array1, array1_start, "array1");
array1            219 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c 		print_data(array1);
array1            230 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c 	print_data(array1);
array1             41 user/uw-testbin/vm-mix1/vm-mix1.c unsigned int array1[ELEMS];
array1            101 user/uw-testbin/vm-mix1/vm-mix1.c 		if (array1[i] != 0) {
array1            102 user/uw-testbin/vm-mix1/vm-mix1.c 			printf("FAILED in file %s at line %d: array1[%d] = %u != %d\n", __FILE__, __LINE__, i, array1[i], 0);
array1            122 user/uw-testbin/vm-mix1/vm-mix1.c 	  write_data(array1, array1_start);
array1            125 user/uw-testbin/vm-mix1/vm-mix1.c 	  read_data(array1, array1_start, "array1");
array1            181 user/uw-testbin/vm-mix1/vm-mix1.c 	read_data(array1, array1_start, "array1");
array1            206 user/uw-testbin/vm-mix1/vm-mix1.c 	print_data(array1);
array1             45 user/uw-testbin/vm-mix2/vm-mix2.c unsigned int array1[ELEMS];
array1            109 user/uw-testbin/vm-mix2/vm-mix2.c 		if (array1[i] != 0) {
array1            110 user/uw-testbin/vm-mix2/vm-mix2.c 			printf("FAILED in file %s at line %d: array1[%d] = %u != %d\n", __FILE__, __LINE__, i, array1[i], 0);
array1            130 user/uw-testbin/vm-mix2/vm-mix2.c 	  write_data(array1, array1_start);
array1            133 user/uw-testbin/vm-mix2/vm-mix2.c 	  read_data(array1, array1_start, "array1");
array1            189 user/uw-testbin/vm-mix2/vm-mix2.c 	read_data(array1, array1_start, "array1");
array1            214 user/uw-testbin/vm-mix2/vm-mix2.c 	print_data(array1);