diff options
author | Anthony PERARD <anthony.perard@citrix.com> | 2010-10-21 12:47:08 +0100 |
---|---|---|
committer | Alexander Graf <agraf@suse.de> | 2011-05-08 10:10:01 +0200 |
commit | 64b3cfdb73fd08220ef848f71a2d0061e97ed7d8 (patch) | |
tree | 879fcadeb413cc0987bb26c3747346e46c3bb119 | |
parent | 050a0ddf39cf5555ecf9b22a918b2a2b00bdbe34 (diff) |
configure: Always use 64bits target physical addresses with xen enabled.
With MapCache, we can handle a 64b target, even with a 32b host/qemu.
So, we need to have target_phys_addr_t to 64bits.
Signed-off-by: Anthony PERARD <anthony.perard@citrix.com>
Acked-by: Alexander Graf <agraf@suse.de>
Signed-off-by: Alexander Graf <agraf@suse.de>
-rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -3298,6 +3298,7 @@ echo "TARGET_ABI_DIR=$TARGET_ABI_DIR" >> $config_target_mak case "$target_arch2" in i386|x86_64) if test "$xen" = "yes" -a "$target_softmmu" = "yes" ; then + target_phys_bits=64 echo "CONFIG_XEN=y" >> $config_target_mak if test "$cpu" = "i386" -o "$cpu" = "x86_64"; then echo "CONFIG_XEN_MAPCACHE=y" >> $config_target_mak |