| 12345678910111213141516171819202122232425262728293031323334 |
- /* SPDX-License-Identifier: GPL-2.0 */
- #ifndef __XEN_PCI_H__
- #define __XEN_PCI_H__
- #if defined(CONFIG_XEN_DOM0)
- int xen_reset_device(const struct pci_dev *dev);
- int xen_find_device_domain_owner(struct pci_dev *dev);
- int xen_register_device_domain_owner(struct pci_dev *dev, uint16_t domain);
- int xen_unregister_device_domain_owner(struct pci_dev *dev);
- #else
- static inline int xen_reset_device(const struct pci_dev *dev)
- {
- return -1;
- }
- static inline int xen_find_device_domain_owner(struct pci_dev *dev)
- {
- return -1;
- }
- static inline int xen_register_device_domain_owner(struct pci_dev *dev,
- uint16_t domain)
- {
- return -1;
- }
- static inline int xen_unregister_device_domain_owner(struct pci_dev *dev)
- {
- return -1;
- }
- #endif
- #endif
|
