Lines Matching refs: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);
Indexes created Thu Oct 02 14:10:14 GMT 2025