Lines Matching defs:kernel
80 * We won't go overboard with gzip'd kernel names. After all we can
81 * still boot a gzip'd kernel called "netbsd.mipsco" - it doesn't need
106 char *name, **namep, *dev, *kernel;
127 kernel = devsplit(argv[1], bootname);
130 if (*kernel)
137 kernel = NULL;
151 kernel = *namep;
153 strcat(bootpath, kernel);
161 if (!win || !kernel)
164 strncpy(bi_bpath.bootpath, kernel, BTINFO_BOOTPATH_LEN);
177 (void)printf("KERNEL RETURNED!\n");
185 * strip out device name and kernel name
Indexes created Sat Sep 20 22:09:52 GMT 2025