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