Lines Matching refs: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.pmax" - it doesn't need
113 char *name, **namep, *dev, *kernel;
139 if ((kernel = devname(bootname)) == NULL) {
151 kernel = *namep;
153 strcat(bootpath, kernel);
164 strncpy(bi_bpath.bootpath, kernel, BTINFO_BOOTPATH_LEN);
190 * bootpath including the kernel name. This code to do this
192 * Returns the kernel name, or NULL if no kernel name specified.