cvtest             61 kern/include/test.h int cvtest(int, char **);
cvtest            578 kern/startup/menu.c 	{ "sy3",	cvtest },