Searched refs:kernelpath (Results 1 - 2 of 2) sorted by relevance

/illumos-gate/usr/src/boot/sys/boot/i386/libi386/
H A Dbootinfo32.c148 const char *kernelpath; local
250 i386_getdev(NULL, kernelname, &kernelpath);
264 bi.bi_kernelname = VTOP(kernelpath);
/illumos-gate/usr/src/boot/sys/boot/userboot/userboot/
H A Dbootinfo32.c148 const char *kernelpath; local
229 userboot_getdev(NULL, kernelname, &kernelpath);

Completed in 1186 milliseconds