coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
stdio.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 /**
4  * Note: This file is only for POSIX compatibility, and is meant to be
5  * chain-included via string.h.
6  */
7 
8 #ifndef STDIO_H
9 #define STDIO_H
10 
11 #include <stddef.h>
12 
13 int snprintf(char *buf, size_t size, const char *fmt, ...);
14 
15 #endif /* STDIO_H */
buf
static uint8_t * buf
Definition: uart.c:7
snprintf
int snprintf(char *buf, size_t size, const char *fmt,...)
Note: This file is only for POSIX compatibility, and is meant to be chain-included via string....
Definition: vsprintf.c:35