blob: 9ebc842b3d51ff99eb27e0e69f6b898b368d6945 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
#ifndef __CONSOLE_VTXPRINTF_H
#define __CONSOLE_VTXPRINTF_H
#include <stdarg.h>
int vtxprintf(void (*tx_byte)(unsigned char byte, void *data),
const char *fmt, va_list args, void *data);
#endif
|
