ACPI_GET64
ACPI_FORMAT_UINT64 (ACPI_GET64 (Target)));
*Value = (UINT64) ACPI_GET64 (LogicalAddrPtr);
AcpiRsOutInteger64 (Name, ACPI_GET64 (Target));