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
14EXPORT_TRACEPOINT_SYMBOL_GPL(xhci_dbg_quirks);
15EXPORT_TRACEPOINT_SYMBOL_GPL(xhci_dbg_init);