Lines Matching defs:kernel_filename
2535 const char *kernel_filename, *kernel_cmdline;
2590 kernel_filename = NULL;
2812 kernel_filename = optarg;
3969 if (kernel_filename == NULL) {
3970 kernel_filename = android_hw->kernel_path;
3976 linux_boot = (kernel_filename != NULL);
4316 kernel_filename,
