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_reset_device(const struct pci_dev *dev);
8 int xen_find_device_domain_owner(struct pci_dev *dev);
9 int xen_register_device_domain_owner(struct pci_dev *dev, uint16_t domain);
10 int xen_unregister_device_domain_owner(struct pci_dev *dev);
11 #else
xen_reset_device(const struct pci_dev * dev)12 static inline int xen_reset_device(const struct pci_dev *dev)
13 {
14 	return -1;
15 }
16 
xen_find_device_domain_owner(struct pci_dev * dev)17 static inline int xen_find_device_domain_owner(struct pci_dev *dev)
18 {
19 	return -1;
20 }
21 
xen_register_device_domain_owner(struct pci_dev * dev,uint16_t domain)22 static inline int xen_register_device_domain_owner(struct pci_dev *dev,
23 						   uint16_t domain)
24 {
25 	return -1;
26 }
27 
xen_unregister_device_domain_owner(struct pci_dev * dev)28 static inline int xen_unregister_device_domain_owner(struct pci_dev *dev)
29 {
30 	return -1;
31 }
32 #endif
33 
34 #endif
35