Lines Matching defs:kernel_name
93 char *kernel_name = default_command;
165 printf("Boot: [%s] ", kernel_name);
238 /* XXX Handle kernel_name differently */
239 kernel_name = path;
246 /* XXX Handle kernel_name differently */
247 while ((c = *kernel_name) && c == ' ')
248 ++kernel_name;
249 path = kernel_name;
356 printf("Loading %s: ", kernel_name);
363 if (loadfile(kernel_name, marks,
383 if (loadfile(kernel_name, marks,
Indexes created Fri Oct 03 02:09:57 GMT 2025