threadtest2        57 kern/include/test.h int threadtest2(int, char **);
threadtest2       572 kern/startup/menu.c 	{ "tt2",	threadtest2 },