threadtest3        58 kern/include/test.h int threadtest3(int, char **);
threadtest3       573 kern/startup/menu.c 	{ "tt3",	threadtest3 },