Revision 59d21e53

b/configure
3290 3290
    if test "$xen" = "yes" -a "$target_softmmu" = "yes" ; then
3291 3291
      target_phys_bits=64
3292 3292
      echo "CONFIG_XEN=y" >> $config_target_mak
3293
    else
3294
      echo "CONFIG_NO_XEN=y" >> $config_target_mak
3293 3295
    fi
3296
    ;;
3297
  *)
3298
    echo "CONFIG_NO_XEN=y" >> $config_target_mak
3294 3299
esac
3295 3300
case "$target_arch2" in
3296 3301
  i386|x86_64|ppcemb|ppc|ppc64|s390x)
b/hw/xen.h
24 24

  
25 25
static inline int xen_enabled(void)
26 26
{
27
#ifdef CONFIG_XEN_BACKEND
27
#if defined(CONFIG_XEN_BACKEND) && !defined(CONFIG_NO_XEN)
28 28
    return xen_allowed;
29 29
#else
30 30
    return 0;

Also available in: Unified diff