1 // SPDX-License-Identifier: GPL-2.0 2 /** 3 * trace.c - DesignWare USB3 DRD Controller Trace Support 4 * 5 * Copyright (C) 2014 Texas Instruments Incorporated - http://www.ti.com 6 * 7 * Author: Felipe Balbi <balbi@ti.com> 8 */ 9 10 #define CREATE_TRACE_POINTS 11 #include "trace.h" 12