Symbol: ACPI_UINT64_MAX