// 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) { … } void xhci_dbg_trace(struct xhci_hcd *xhci, void (*trace)(struct va_format *), const char *fmt, ...) { … } EXPORT_SYMBOL_GPL(…);