0001
0002
0003 #ifndef __XEN_PCI_H__
0004 #define __XEN_PCI_H__
0005
0006 #if defined(CONFIG_XEN_DOM0)
0007 int xen_find_device_domain_owner(struct pci_dev *dev);
0008 int xen_register_device_domain_owner(struct pci_dev *dev, uint16_t domain);
0009 int xen_unregister_device_domain_owner(struct pci_dev *dev);
0010 #else
0011 static inline int xen_find_device_domain_owner(struct pci_dev *dev)
0012 {
0013 return -1;
0014 }
0015
0016 static inline int xen_register_device_domain_owner(struct pci_dev *dev,
0017 uint16_t domain)
0018 {
0019 return -1;
0020 }
0021
0022 static inline int xen_unregister_device_domain_owner(struct pci_dev *dev)
0023 {
0024 return -1;
0025 }
0026 #endif
0027
0028 #endif