uwlocktest1        65 kern/include/test.h int uwlocktest1(int, char **);
uwlocktest1       580 kern/startup/menu.c 	{ "uw1",	uwlocktest1 },