Lines Matching refs:kernel_filename
2123 const char *kernel_filename, *kernel_cmdline;
2176 kernel_filename = NULL;
2395 kernel_filename = optarg;
3487 if (kernel_filename == NULL) {
3488 kernel_filename = android_hw->kernel_path;
3494 linux_boot = (kernel_filename != NULL);
3841 kernel_filename,
