ACPI_CAST64
#define ACPI_GET64(ptr) (*ACPI_CAST64 (ptr))
#define ACPI_SET64(ptr, val) (*ACPI_CAST64 (ptr) = (UINT64) (val))