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 | |