Symbol: acpi_print_dsdt
usr.sbin/acpi/acpidump/acpi.c
290
acpi_print_dsdt(dsdp);
usr.sbin/acpi/acpidump/acpi.c
87
static void acpi_print_dsdt(ACPI_TABLE_HEADER *dsdp);