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);