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