Revision 868bb33f hw/xen.h

b/hw/xen.h
31 31 
#endif
32 32 
}
33 33 

  		





  34
  
  
    
static inline int xen_mapcache_enabled(void)


  		





  35
  
  
    
{


  		





  36
  
  
    
#ifdef CONFIG_XEN_MAPCACHE


  		





  37
  
  
    
    return xen_enabled();


  		





  38
  
  
    
#else


  		





  39
  
  
    
    return 0;


  		





  40
  
  
    
#endif


  		





  41
  
  
    
}


  		





  42
  
  
    

  		





  43
  34
  
    
int xen_pci_slot_get_pirq(PCIDevice *pci_dev, int irq_num);


  		





  44
  35
  
    
void xen_piix3_set_irq(void *opaque, int irq_num, int level);


  		





  45
  36
  
    
void xen_piix_pci_write_config_client(uint32_t address, uint32_t val, int len);


  		












Also available in:
  Unified diff