Symbol: dsdt_load_file
usr.sbin/acpi/acpidump/acpidump.c
116
rsdt = dsdt_load_file(dsdt_input_file);
usr.sbin/acpi/acpidump/acpidump.h
137
ACPI_TABLE_HEADER *dsdt_load_file(char *);