Lines Matching defs:kernel
161 /* "wdXX:kernel" */
167 /* "kernel" */
187 char **namep, *dev, *kernel, *bi_addr;
200 kernel = NULL;
212 get_bsdbootname(&dev, &kernel, &howto);
214 if (kernel != NULL) {
215 DPRINTF(("kernel: %s\n", kernel));
216 kernelnames[0] = kernel;
219 DPRINTF(("kernel: NULL\n"));
225 kernel = *namep;
231 strcat(bootpath, kernel);
248 strncpy(bi_bpath.bootpath, kernel, BTINFO_BOOTPATH_LEN);