| // SPDX-License-Identifier: GPL-2.0-only | 
 | #include <linux/pci.h> | 
 | #include <linux/usb.h> | 
 | #include <linux/usb/ehci_def.h> | 
 | #include <linux/usb/hcd.h> | 
 | #include <asm/xen/hypercall.h> | 
 | #include <xen/interface/physdev.h> | 
 | #include <xen/xen.h> | 
 |  | 
 | static int xen_dbgp_op(struct usb_hcd *hcd, int op) | 
 | { | 
 | #ifdef CONFIG_PCI | 
 | 	const struct device *ctrlr = hcd_to_bus(hcd)->controller; | 
 | #endif | 
 | 	struct physdev_dbgp_op dbgp; | 
 |  | 
 | 	if (!xen_initial_domain()) | 
 | 		return 0; | 
 |  | 
 | 	dbgp.op = op; | 
 |  | 
 | #ifdef CONFIG_PCI | 
 | 	if (dev_is_pci(ctrlr)) { | 
 | 		const struct pci_dev *pdev = to_pci_dev(ctrlr); | 
 |  | 
 | 		dbgp.u.pci.seg = pci_domain_nr(pdev->bus); | 
 | 		dbgp.u.pci.bus = pdev->bus->number; | 
 | 		dbgp.u.pci.devfn = pdev->devfn; | 
 | 		dbgp.bus = PHYSDEVOP_DBGP_BUS_PCI; | 
 | 	} else | 
 | #endif | 
 | 		dbgp.bus = PHYSDEVOP_DBGP_BUS_UNKNOWN; | 
 |  | 
 | 	return HYPERVISOR_physdev_op(PHYSDEVOP_dbgp_op, &dbgp); | 
 | } | 
 |  | 
 | int xen_dbgp_reset_prep(struct usb_hcd *hcd) | 
 | { | 
 | 	return xen_dbgp_op(hcd, PHYSDEVOP_DBGP_RESET_PREPARE); | 
 | } | 
 |  | 
 | int xen_dbgp_external_startup(struct usb_hcd *hcd) | 
 | { | 
 | 	return xen_dbgp_op(hcd, PHYSDEVOP_DBGP_RESET_DONE); | 
 | } | 
 |  | 
 | #ifndef CONFIG_EARLY_PRINTK_DBGP | 
 | #include <linux/export.h> | 
 | EXPORT_SYMBOL_GPL(xen_dbgp_reset_prep); | 
 | EXPORT_SYMBOL_GPL(xen_dbgp_external_startup); | 
 | #endif |