ACPI_MASK_BITS_ABOVE_64
width_mask = ACPI_MASK_BITS_ABOVE_64(access_bit_width);
ACPI_MASK_BITS_ABOVE_64(access_width), value64);
ACPI_MASK_BITS_ABOVE_64(access_width));