Lines Matching refs:kernel
60 char kernel[KNAMEN];
112 strcpy(kernel, boot_arg);
117 fd = loadfile(kernel, marks, LOAD_KERNEL);
122 printf("load of %s: %s\n", kernel, strerror(errno));
124 kgets(kernel, sizeof(kernel));
125 if (kernel[0] == '\0')
129 kernel_args = strchr(kernel, ')');
131 kernel_args = kernel;
140 if (devparse(kernel, &dev, &count, &lun, &part, &file) == 0) {