On 11/01/2010 10:50 AM, TeLeMan wrote:
I think this patch is not right. Outputting 64bits data is not necessary on 32bits mode.Do you speak of 32 bit hosts or 32 bit targets?32bit mode of x64
There is no such thing as a 32 bit host on x64, only 64-bit hosts that haven't turned on long mode. So printing 64 bits is correct for those.
Paolo
