Searched refs:kernel_read (Results 1 – 1 of 1) sorted by relevance
2407 char *kernel_read = NULL, *module_read = NULL; in main() local2417 kernel_read = optarg; in main()2463 if (kernel_read) in main()2464 read_dump(kernel_read, 1); in main()