xref: /aosp_15_r20/external/coreboot/src/include/console/vtxprintf.h (revision b9411a12aaaa7e1e6a6fb7c5e057f44ee179a49c)
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
12