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()
874                      const char *kernel_filename, const char *kernel_cmdline,  in pc_init1()  argument
904     linux_boot = (kernel_filename != NULL);  in pc_init1()
1019                    kernel_filename, initrd_filename, kernel_cmdline, below_4g_mem_size);  in pc_init1()
1274                         const char *kernel_filename,  in pc_init_pci()  argument
1280              kernel_filename, kernel_cmdline,  in pc_init_pci()
1286                         const char *kernel_filename,  in pc_init_isa()  argument
1292              kernel_filename, kernel_cmdline,  in pc_init_isa()