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