Lines Matching defs:kernel_filename
612 const char *kernel_filename,
631 f = fopen(kernel_filename, "rb");
635 kernel_filename);
711 kernel_filename, initrd_filename, kernel_cmdline);
749 kernel_filename);
879 const char *kernel_filename, const char *kernel_cmdline,
909 linux_boot = (kernel_filename != NULL);
1024 kernel_filename, initrd_filename, kernel_cmdline, below_4g_mem_size);
1288 const char *kernel_filename,
1294 kernel_filename, kernel_cmdline,
1300 const char *kernel_filename,
1306 kernel_filename, kernel_cmdline,