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

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