Searched refs:dsdt_output_file (Results 1 – 1 of 1) sorted by relevance
60 char *dsdt_input_file, *dsdt_output_file; in main() local63 dsdt_input_file = dsdt_output_file = NULL; in main()91 dsdt_output_file = optarg; in main()140 if (dsdt_output_file != NULL) { in main()142 warnx("saving DSDT file: %s", dsdt_output_file); in main()143 dsdt_save_file(dsdt_output_file, rsdt, sdt); in main()