Searched refs:kernel_read (Results 1 – 1 of 1) sorted by relevance
2394 char *kernel_read = NULL, *module_read = NULL; in main() local2404 kernel_read = optarg; in main()2450 if (kernel_read) in main()2451 read_dump(kernel_read, 1); in main()