Symbol: acpi_print_rsdt
usr.sbin/acpi/acpidump/acpi.c
2788
acpi_print_rsdt(rsdp);
usr.sbin/acpi/acpidump/acpi.c
2791
acpi_print_rsdt(rsdp);