| /** | 
 |  * debug.c - DesignWare USB3 DRD Controller Debug/Trace Support | 
 |  * | 
 |  * Copyright (C) 2014 Texas Instruments Incorporated - http://www.ti.com | 
 |  * | 
 |  * Author: Felipe Balbi <balbi@ti.com> | 
 |  * | 
 |  * This program is free software: you can redistribute it and/or modify | 
 |  * it under the terms of the GNU General Public License version 2  of | 
 |  * the License as published by the Free Software Foundation. | 
 |  * | 
 |  * This program is distributed in the hope that it will be useful, | 
 |  * but WITHOUT ANY WARRANTY; without even the implied warranty of | 
 |  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the | 
 |  * GNU General Public License for more details. | 
 |  */ | 
 |  | 
 | #include "debug.h" | 
 |  | 
 | void dwc3_trace(void (*trace)(struct va_format *), const char *fmt, ...) | 
 | { | 
 | 	struct va_format vaf; | 
 | 	va_list args; | 
 |  | 
 | 	va_start(args, fmt); | 
 | 	vaf.fmt = fmt; | 
 | 	vaf.va = &args; | 
 |  | 
 | 	trace(&vaf); | 
 |  | 
 | 	va_end(args); | 
 | } |