// SPDX-License-Identifier: GPL-2.0 /* * xHCI host controller driver * * Copyright (C) 2013 Xenia Ragiadakou * * Author: Xenia Ragiadakou * Email : [email protected] */ #define CREATE_TRACE_POINTS #include "xhci-trace.h" EXPORT_TRACEPOINT_SYMBOL_GPL(…); EXPORT_TRACEPOINT_SYMBOL_GPL(…);