ACPI_CAST32
(ACPI_PHYSICAL_ADDRESS) (*ACPI_CAST32(TableData));
(*ACPI_CAST32(TableData));
#define ACPI_GET32(ptr) (*ACPI_CAST32 (ptr))
#define ACPI_SET32(ptr, val) (*ACPI_CAST32 (ptr) = (UINT32) (val))