Symbol: ACPI_WDDT_FLAG_OFFSET