ACPI_MASK_BITS_ABOVE_64
WidthMask = ACPI_MASK_BITS_ABOVE_64 (AccessBitWidth);
ACPI_MASK_BITS_ABOVE_64 (AccessWidth), Value64);
ACPI_MASK_BITS_ABOVE_64 (AccessWidth));