Searched refs:kernel_read (Results 1 – 1 of 1) sorted by relevance
2457 char *kernel_read = NULL, *module_read = NULL; in main() local2467 kernel_read = optarg; in main()2513 if (kernel_read) in main()2514 read_dump(kernel_read, 1); in main()