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_reset_device(const struct pci_dev *dev);
8 int xen_find_device_domain_owner(struct pci_dev *dev);
9 int xen_register_device_domain_owner(struct pci_dev *dev, uint16_t domain);
10 int xen_unregister_device_domain_owner(struct pci_dev *dev);
11 #else
12 static inline int xen_reset_device(const struct pci_dev *dev)
13 {
14 return -1;
15 }
16
17 static inline int xen_find_device_domain_owner(struct pci_dev *dev)
18 {
19 return -1;
20 }
21
22 static inline int xen_register_device_domain_owner(struct pci_dev *dev,
23 uint16_t domain)
24 {
25 return -1;
26 }
27
28 static inline int xen_unregister_device_domain_owner(struct pci_dev *dev)
29 {
30 return -1;
31 }
32 #endif
33
34 #endif
35
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.