On Mon, 2011-12-12 at 14:45 +0000, Paul Brook wrote: > I suggest that the device to buffer writes to the high part, and construct > the > actual 64-bit value when the low part is written. That allows 32-bit guests > can ignore the high part entirely.
This sounds good to me. If we define the reset value of both registers as 0 (which is consistent with "0 = stop" condition) a 32-bit guest will be able to behave as you are suggesting. Cool, I will keep this in mind. Thanks! Paweł
