Lines Matching refs:kernel_filename
606 const char *kernel_filename,
625 f = fopen(kernel_filename, "rb");
629 kernel_filename);
705 kernel_filename, initrd_filename, kernel_cmdline);
743 kernel_filename);
871 const char *kernel_filename, const char *kernel_cmdline,
901 linux_boot = (kernel_filename != NULL);
1016 kernel_filename, initrd_filename, kernel_cmdline, below_4g_mem_size);
1279 const char *kernel_filename,
1285 kernel_filename, kernel_cmdline,
1291 const char *kernel_filename,
1297 kernel_filename, kernel_cmdline,
