ReadonlyaddressRegister address.
ReadonlyattributesAttributes of the caller that issued the newest value for this address.
Optional ReadonlybypassWhether the flush must send this write when a cache holds the same value.
true when the flush must send this write when a cache holds the same value.
A newer write to the same address in the same batch keeps this flag. Otherwise
the cache can suppress the newer value, and the caller that asked for the
bypass sees success for a write that did not reach the device.
ReadonlyvalueValue to write, as the caller gave it.
One write in a flushed batch, with the attributes of the caller that issued it.