Searched refs:kernelname (Results 1 – 5 of 5) sorted by relevance
174 char *kernelname; in autoboot() local200 kernelname = fp->f_name; in autoboot()227 kernelname, (int)(when - ntime), in autoboot()237 printf("\rBooting [%s]... ", kernelname); in autoboot()
45 boot [<kernelname>] [-<arg> ...]48 arguments for the kernel. If <kernelname> is specified, and a kernel
146 char *kernelname; in bi_load32() local244 kernelname = getenv("kernelname"); in bi_load32()245 i386_getdev(NULL, kernelname, &kernelpath); in bi_load32()
156 o "boot -flag" works, "boot kernelname" works, "boot157 -flag kernelname" doesn't. "boot kernelname -flag"
237 s" kernelname" getenv? if ( a kernel has been loaded )247 s" kernelname" getenv? if ( a kernel has been loaded )