Symbol: sdt_print_all
usr.sbin/acpitools/acpidump/acpidump.c
129
sdt_print_all(rsdt);
usr.sbin/acpitools/acpidump/acpidump.h
131
void sdt_print_all(ACPI_TABLE_HEADER *);