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
29