tree fb3771e520836d2b1ead8807a26a13acbbe5ccf7
parent d73ee8a2b5267adae41ecb464cae06a185d2b0f9
author Richard Henderson <rth@twiddle.net> 1350871867 +1000
committer Aurelien Jarno <aurelien@aurel32.net> 1351432465 +0100

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>