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

/freebsd-11-stable/stand/i386/libi386/
H A Dbootinfo32.c153 const char *kernelpath; local
254 i386_getdev(NULL, kernelname, &kernelpath);
268 bi.bi_kernelname = VTOP(kernelpath);
/freebsd-11-stable/stand/userboot/userboot/
H A Dbootinfo32.c152 const char *kernelpath; local
236 userboot_getdev(NULL, kernelname, &kernelpath);

Completed in 49 milliseconds