1 // SPDX-License-Identifier: GPL-2.0
3 * xHCI host controller driver
5 * Copyright (C) 2008 Intel Corp.
8 * Some code borrowed from the Linux EHCI driver.
13 char *xhci_get_slot_state(struct xhci_hcd
*xhci
,
14 struct xhci_container_ctx
*ctx
)
16 struct xhci_slot_ctx
*slot_ctx
= xhci_get_slot_ctx(xhci
, ctx
);
17 int state
= GET_SLOT_STATE(le32_to_cpu(slot_ctx
->dev_state
));
19 return xhci_slot_state_string(state
);
22 void xhci_dbg_trace(struct xhci_hcd
*xhci
, void (*trace
)(struct va_format
*),
31 xhci_dbg(xhci
, "%pV\n", &vaf
);
35 EXPORT_SYMBOL_GPL(xhci_dbg_trace
);