1  /* SPDX-License-Identifier: GPL-2.0-only */
 2  
 3  #ifndef __CONSOLE_VTXPRINTF_H
 4  #define __CONSOLE_VTXPRINTF_H
 5  
 6  #include <stdarg.h>
 7  
 8  int vtxprintf(void (*tx_byte)(unsigned char byte, void *data),
 9  	const char *fmt, va_list args, void *data);
10  
11  #endif