Symbol: acpi_print_dsdt
usr.sbin/acpitools/acpidump/acpi.c
130
static void acpi_print_dsdt(ACPI_TABLE_HEADER *dsdp);
usr.sbin/acpitools/acpidump/acpi.c
854
acpi_print_dsdt(dsdp);