06.11.2015 18:34, Paolo Bonzini wrote: > The GT64xxx's internal registers can be placed above the first 4 GiB > in the address space, but not above the first 64 GiB. Correctly cast > the register to a 64-bit integer, and mask away bits above bit 35.
Applied to -trivial, thank you! /mjt
