Searched defs:kernel_filename (Results 1 – 7 of 7) sorted by relevance
64 const char *kernel_filename, in android_arm_init_()
26 const char *kernel_filename; member
612 const char *kernel_filename, in load_linux()874 const char *kernel_filename, const char *kernel_cmdline, in pc_init1()1274 const char *kernel_filename, in pc_init_pci()1286 const char *kernel_filename, in pc_init_isa()
157 const char *kernel_filename, const char *cpu_model) in armv7m_init()
42 std::string kernel_filename; member
2068 const char *kernel_filename, *kernel_cmdline; in main() local
2520 const char *kernel_filename, *kernel_cmdline; in main() local