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