Symbol: ACPI_TABLE_WDDT