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