Home | History | Annotate | Download | only in common

Lines Matching defs:kernelname

167     char	*kernelname;
182     kernelname = getenv("kernelname");
183     if (kernelname == NULL) {
186 	kernelname = getenv("kernelname");
187 	if (kernelname == NULL) {
214 	    		kernelname, (int)(when - ntime),
220 	printf("\rBooting [%s]...               ", kernelname);
273       setenv("kernelname", name, 1);