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);