fbc79b70829537ffc00d4d07fd3a5fd9b0434e92
[bootcensus] / src / libc / stdio.h
1 /*
2 pcboot - bootable PC demo/game kernel
3 Copyright (C) 2018  John Tsiombikas <nuclear@member.fsf.org>
4
5 This program is free software: you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published by
7 the Free Software Foundation, either version 3 of the License, or
8 (at your option) any later version.
9
10 This program is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY, without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13 GNU General Public License for more details.
14
15 You should have received a copy of the GNU General Public License
16 along with this program.  If not, see <https://www.gnu.org/licenses/>.
17 */
18 #ifndef STDIO_H_
19 #define STDIO_H_
20
21 #include <stdlib.h>
22 #include <stdarg.h>
23
24 int putchar(int c);
25 int puts(const char *s);
26
27 int printf(const char *fmt, ...);
28 int vprintf(const char *fmt, va_list ap);
29
30 int sprintf(char *buf, const char *fmt, ...);
31 int vsprintf(char *buf, const char *fmt, va_list ap);
32
33 int snprintf(char *buf, size_t sz, const char *fmt, ...);
34 int vsnprintf(char *buf, size_t sz, const char *fmt, va_list ap);
35
36 /* printf to the serial port */
37 int ser_printf(const char *fmt, ...);
38 int ser_vprintf(const char *fmt, va_list ap);
39
40 #endif  /* STDIO_H_ */