Searched refs:dsdt_input_file (Results 1 – 1 of 1) sorted by relevance
68 char *dsdt_input_file, *dsdt_output_file; in main() local70 dsdt_input_file = dsdt_output_file = NULL; in main()93 dsdt_input_file = optarg; in main()108 if (dsdt_input_file != NULL) { in main()117 warnx("loading DSDT file: %s", dsdt_input_file); in main()118 rsdt = dsdt_load_file(dsdt_input_file); in main()133 if (dsdt_input_file == NULL) { in main()