Symbol: acpi_print_xsdt
usr.sbin/acpidump/acpidump.c
191
void acpi_print_xsdt(struct ACPIsdt *_rsdp);
usr.sbin/acpidump/acpidump.c
580
acpi_print_xsdt(rsdp);