uwvmstatstest      67 kern/include/test.h int uwvmstatstest(int, char **);
uwvmstatstest     581 kern/startup/menu.c 	{ "uw2",	uwvmstatstest },