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