START_VALUE        23 kern/test/uw-tests.c static volatile int test_value = START_VALUE;
START_VALUE        35 kern/test/uw-tests.c   test_value = START_VALUE;
START_VALUE       157 kern/test/uw-tests.c 	kprintf("value of test_value = %d should be %d\n", test_value, START_VALUE);
START_VALUE       158 kern/test/uw-tests.c 	if (test_value == START_VALUE) {
START_VALUE       163 kern/test/uw-tests.c 	KASSERT(test_value == START_VALUE);