Lines Matching refs:kernel
87 * We won't go overboard with gzip'd kernel names. After all we can
88 * still boot a gzip'd kernel called "netbsd.arc" - it doesn't need
132 const char *kernel = NULL;
182 kernel = firmware_getenv("OSLoadFilename");
183 if (kernel == NULL)
184 kernel = arcbios_GetEnvironmentVariable("OSLoadFilename");
186 DPRINTF("kernel = %s\n", kernel ? kernel : "<null>");
189 * The first arg is assumed to contain the name of the kernel to boot,
196 kernel = argv[i];
201 if (kernel != NULL) {
207 if (strchr(kernel, '('))
208 win = loadfile(kernel, marks, LOAD_KERNEL);
211 strcat(bootfile, kernel);
220 kernel = kernelnames[i];
235 strlcpy(bi_bpath.bootpath, kernel, BTINFO_BOOTPATH_LEN);