printfile          76 kern/include/test.h int printfile(int, char **);
printfile         543 kern/startup/menu.c 	{ "pf",		printfile },