Source
1
+
// SPDX-License-Identifier: GPL-2.0-only
1
2
#include <linux/pci.h>
2
3
#include <linux/usb.h>
3
4
#include <linux/usb/ehci_def.h>
4
5
#include <linux/usb/hcd.h>
5
6
#include <asm/xen/hypercall.h>
6
7
#include <xen/interface/physdev.h>
7
8
#include <xen/xen.h>
8
9
​
9
10
static int xen_dbgp_op(struct usb_hcd *hcd, int op)
10
11
{