Symbol: sdt_print_all
usr.sbin/acpi/acpidump/acpidump.c
127
sdt_print_all(rsdt, tbl);
usr.sbin/acpi/acpidump/acpidump.h
143
void sdt_print_all(ACPI_TABLE_HEADER *, const char *);