Searched refs:dsdt_input_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()88 dsdt_input_file = optarg; in main()106 if (dsdt_input_file != NULL) { in main()115 warnx("loading DSDT file: %s", dsdt_input_file); in main()116 rsdt = dsdt_load_file(dsdt_input_file); in main()131 if (dsdt_input_file == NULL) { in main()