semtest            59 kern/include/test.h int semtest(int, char **);
semtest           574 kern/startup/menu.c 	{ "sy1",	semtest },