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