locktest           60 kern/include/test.h int locktest(int, char **);
locktest          577 kern/startup/menu.c 	{ "sy2",	locktest },