// SPDX-License-Identifier: GPL-2.0
/*
 * xHCI host controller driver
 *
 * Copyright (C) 2008 Intel Corp.
 *
 * Author: Sarah Sharp
 * Some code borrowed from the Linux EHCI driver.
 */

#include "xhci.h"

char *xhci_get_slot_state(struct xhci_hcd *xhci,
  struct xhci_container_ctx *ctx)
{
 struct xhci_slot_ctx *slot_ctx = xhci_get_slot_ctx(xhci, ctx);
 int state = GET_SLOT_STATE(le32_to_cpu(slot_ctx->dev_state));

 return xhci_slot_state_string(state);
}

void xhci_dbg_trace(struct xhci_hcd *xhci, void (*trace)(struct va_format *),
   const char *fmt, ...)
{
 struct va_format vaf;
 va_list args;

 va_start(args, fmt);
 vaf.fmt = fmt;
 vaf.va = &args;
 xhci_dbg(xhci, "%pV\n", &vaf);
 trace(&vaf);
 va_end(args);
}
EXPORT_SYMBOL_GPL(xhci_dbg_trace);