Symbol: dsdt_save_file
usr.sbin/acpi/acpidump/acpidump.c
143
dsdt_save_file(dsdt_output_file, rsdt, sdt);
usr.sbin/acpi/acpidump/acpidump.h
140
void dsdt_save_file(char *, ACPI_TABLE_HEADER *, ACPI_TABLE_HEADER *);