Revision 30ab6125 hw/xen.h

b/hw/xen.h
24 24 

  		





  25
  25
  
    
static inline int xen_enabled(void)


  		





  26
  26
  
    
{


  		





  27
  
  
    
#ifdef CONFIG_XEN


  		





  
  27
  
    
#ifdef CONFIG_XEN_BACKEND


  		





  28
  28
  
    
    return xen_allowed;


  		





  29
  29
  
    
#else


  		





  30
  30
  
    
    return 0;


  		












Also available in:
  Unified diff