Searched defs:kernelname (Results 1 - 4 of 4) sorted by relevance

/freebsd-11-stable/stand/i386/libi386/
H A Dbootinfo32.c152 char *kernelname; local
/freebsd-11-stable/stand/userboot/userboot/
H A Dbootinfo32.c151 char *kernelname; local
/freebsd-11-stable/stand/common/
H A Dboot.c169 char *kernelname; local
/freebsd-11-stable/sys/kern/
H A Dkern_mib.c140 char kernelname[MAXPATHLEN] = "/boot/kernel/kernel"; /* XXX bloat */ variable

Completed in 188 milliseconds