threadtest         56 kern/include/test.h int threadtest(int, char **);
threadtest        571 kern/startup/menu.c 	{ "tt1",	threadtest },