283a284,286
> if (m5Reg.mode != LongMode ||
> (flags & (AddrSizeFlagBit << FlagShift)))
> vaddr &= mask(32);