Searched refs:dsdt_save_file (Results 1 – 3 of 3) sorted by relevance
143 dsdt_save_file(dsdt_output_file, rsdt, sdt); in main()
140 void dsdt_save_file(char *, ACPI_TABLE_HEADER *, ACPI_TABLE_HEADER *);
2704 dsdt_save_file(char *outfile, ACPI_TABLE_HEADER *rsdt, ACPI_TABLE_HEADER *dsdp) in dsdt_save_file() function