1 // SPDX-License-Identifier: GPL-2.0 2 /* 3 * xHCI host controller driver 4 * 5 * Copyright (C) 2013 Xenia Ragiadakou 6 * 7 * Author: Xenia Ragiadakou 8 * Email : burzalodowa@gmail.com 9 */ 10 11 #define CREATE_TRACE_POINTS 12 #include "xhci-trace.h" 13 14 EXPORT_TRACEPOINT_SYMBOL_GPL(xhci_dbg_quirks); 15 EXPORT_TRACEPOINT_SYMBOL_GPL(xhci_dbg_init); 16