commit | 44b37ace0636cd229e956c5000a1bb6a49e274e7 | [log] [tgz] |
---|---|---|
author | Richard Henderson <rth@twiddle.net> | Mon Oct 22 12:11:07 2012 +1000 |
committer | Aurelien Jarno <aurelien@aurel32.net> | Sun Oct 28 14:54:25 2012 +0100 |
tree | fb3771e520836d2b1ead8807a26a13acbbe5ccf7 | |
parent | d73ee8a2b5267adae41ecb464cae06a185d2b0f9 [diff] |
tcg-i386: Use %gs prefixes for x86_64 GUEST_BASE When we allocate a reserved_va for the guest, the kernel will likely choose an address well above 4G. At which point we must use a pair of movabsq+addq to form the host address. If we have OS support, set up a segment register to point to guest_base instead. Signed-off-by: Richard Henderson <rth@twiddle.net> Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>