Searched refs:kernel_read (Results 1 – 1 of 1) sorted by relevance
2094 char *kernel_read = NULL, *module_read = NULL; in main() local2104 kernel_read = optarg; in main()2144 if (kernel_read) in main()2145 read_dump(kernel_read, 1); in main()