Symbol: acpi_print_fadt
usr.sbin/acpi/acpidump/acpi.c
268
acpi_print_fadt(sdp);
usr.sbin/acpi/acpidump/acpi.c
85
static void acpi_print_fadt(ACPI_TABLE_HEADER *sdp);