Searched refs:kernelname (Results 1 – 6 of 6) sorted by relevance
| /illumos-gate/usr/src/boot/userboot/userboot/ |
| H A D | bootinfo32.c | 151 char *kernelname; in bi_load32() local
235 kernelname = getenv("kernelname"); in bi_load32()
236 (void) userboot_getdev(NULL, kernelname, &kernelpath); in bi_load32()
262 CALLBACK(copyin, kernelname, 0x2000 + sizeof (bi), in bi_load32()
263 strlen(kernelname) + 1); in bi_load32()
|
| /illumos-gate/usr/src/boot/common/ |
| H A D | boot.c | 174 char *kernelname; in autoboot() local
200 kernelname = fp->f_name; in autoboot()
227 kernelname, (int)(when - ntime), in autoboot()
237 printf("\rBooting [%s]... ", kernelname); in autoboot()
|
| H A D | help.common | 45 boot [<kernelname>] [-<arg> ...]
48 arguments for the kernel. If <kernelname> is specified, and a kernel
|
| /illumos-gate/usr/src/boot/i386/libi386/ |
| H A D | bootinfo32.c | 146 char *kernelname; in bi_load32() local
244 kernelname = getenv("kernelname"); in bi_load32()
245 i386_getdev(NULL, kernelname, &kernelpath); in bi_load32()
|
| /illumos-gate/usr/src/boot/ |
| H A D | README.loader | 156 o "boot -flag" works, "boot kernelname" works, "boot
157 -flag kernelname" doesn't. "boot kernelname -flag"
|
| /illumos-gate/usr/src/boot/forth/ |
| H A D | loader.4th | 237 s" kernelname" getenv? if ( a kernel has been loaded )
247 s" kernelname" getenv? if ( a kernel has been loaded )
|