init               32 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c unsigned int init[] = {
init               41 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c #define INIT_ARRAY_ELEMS     (sizeof(init) / sizeof(int))
init              150 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c 		if (init[i] != i) {
init              151 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c 			printf("FAILED in file %s at line %d: init[%d] = %u != %d\n", __FILE__, __LINE__, i, init[i], i);
init              175 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c 		if (init[i] != i) {
init              176 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c 			printf("FAILED in file %s at line %d: init[%d] = %u != %d\n", __FILE__, __LINE__, i, init[i], i);
init               30 user/uw-testbin/vm-mix1/vm-mix1.c unsigned int init[] = {
init               39 user/uw-testbin/vm-mix1/vm-mix1.c #define INIT_ARRAY_ELEMS     (sizeof(init) / sizeof(int))
init              148 user/uw-testbin/vm-mix1/vm-mix1.c 		if (init[i] != i) {
init              149 user/uw-testbin/vm-mix1/vm-mix1.c 			printf("FAILED in file %s at line %d: init[%d] = %u != %d\n", __FILE__, __LINE__, i, init[i], i);
init              173 user/uw-testbin/vm-mix1/vm-mix1.c 		if (init[i] != i) {
init              174 user/uw-testbin/vm-mix1/vm-mix1.c 			printf("FAILED in file %s at line %d: init[%d] = %u != %d\n", __FILE__, __LINE__, i, init[i], i);
init               34 user/uw-testbin/vm-mix2/vm-mix2.c unsigned int init[] = {
init               43 user/uw-testbin/vm-mix2/vm-mix2.c #define INIT_ARRAY_ELEMS     (sizeof(init) / sizeof(int))
init              156 user/uw-testbin/vm-mix2/vm-mix2.c 		if (init[i] != i) {
init              157 user/uw-testbin/vm-mix2/vm-mix2.c 			printf("FAILED in file %s at line %d: init[%d] = %u != %d\n", __FILE__, __LINE__, i, init[i], i);
init              181 user/uw-testbin/vm-mix2/vm-mix2.c 		if (init[i] != i) {
init              182 user/uw-testbin/vm-mix2/vm-mix2.c 			printf("FAILED in file %s at line %d: init[%d] = %u != %d\n", __FILE__, __LINE__, i, init[i], i);
init               11 user/uw-testbin/vm-stack2/vm-stack2.c unsigned int init[] = {
init               20 user/uw-testbin/vm-stack2/vm-stack2.c #define INIT_ARRAY_ELEMS     (sizeof(init) / sizeof(int))
init               64 user/uw-testbin/vm-stack2/vm-stack2.c 		if (init[i] != i) {
init               65 user/uw-testbin/vm-stack2/vm-stack2.c 			printf("FAILED init[%d] = %u != %d\n", i, init[i], i);