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