menu               87 kern/include/test.h void menu(char *argstr);
menu              210 kern/startup/main.c 	menu(arguments);
menu              256 user/testbin/badcall/driver.c 		menu();
menu              304 user/testbin/badcall/driver.c 		menu();
menu              658 user/testbin/malloctest/malloctest.c 	int i, tn, menu=1;
menu              668 user/testbin/malloctest/malloctest.c 		if (menu) {
menu              673 user/testbin/malloctest/malloctest.c 			menu = 0;
menu              682 user/testbin/malloctest/malloctest.c 			menu = 1;