1 /* SPDX-License-Identifier: GPL-2.0 */
2 
3 #ifndef __XEN_PCI_H__
4 #define __XEN_PCI_H__
5 
6 #if defined(CONFIG_XEN_DOM0)
7 int xen_find_device_domain_owner(struct pci_dev *dev);
8 int xen_register_device_domain_owner(struct pci_dev *dev, uint16_t domain);
9 int xen_unregister_device_domain_owner(struct pci_dev *dev);
10 #else
xen_find_device_domain_owner(struct pci_dev * dev)11 static inline int xen_find_device_domain_owner(struct pci_dev *dev)
12 {
13 	return -1;
14 }
15 
xen_register_device_domain_owner(struct pci_dev * dev,uint16_t domain)16 static inline int xen_register_device_domain_owner(struct pci_dev *dev,
17 						   uint16_t domain)
18 {
19 	return -1;
20 }
21 
xen_unregister_device_domain_owner(struct pci_dev * dev)22 static inline int xen_unregister_device_domain_owner(struct pci_dev *dev)
23 {
24 	return -1;
25 }
26 #endif
27 
28 #endif
29