On 07/15/2015 02:55 PM, Aurelien Jarno wrote:
Fix that by either using the ADDR32 prefix (in case GUEST_BASE == 0 or a segment register is in use), or by doing an explicit zero-extension. The zero-extension can be done in place as we know the registers holds a 32-bit value.
I'd prefer not to do that, even if we can show that it's true. I have an alternative that I'll post shortly.
r~
