Symbol: ACPI_TABLE_WDDT
src/add-ons/kernel/bus_managers/acpi/acpica/include/actbinfo.h
214
#define ACPI_WDDT_OFFSET(f) (UINT16) ACPI_OFFSET (ACPI_TABLE_WDDT,f)
src/add-ons/kernel/bus_managers/acpi/acpica/include/actbinfo.h
545
#define ACPI_WDDT_FLAG_OFFSET(f,o) ACPI_FLAG_OFFSET (ACPI_TABLE_WDDT,f,o)