coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
vtxprintf.h
Go to the documentation of this file.
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
args
struct @413::@414 args
va_list
__builtin_va_list va_list
Definition: stdarg.h:16
vtxprintf
int vtxprintf(void(*tx_byte)(unsigned char byte, void *data), const char *fmt, va_list args, void *data)
Definition: vtxprintf.c:102