Symbol: acpi_handle_wddt
usr.sbin/acpi/acpidump/acpi.c
2756
{ ACPI_SIG_WDDT, acpi_handle_wddt },
usr.sbin/acpi/acpidump/acpi.c
74
static void acpi_handle_wddt(ACPI_TABLE_HEADER *sdp);