#ifndef BIOS_STDIO_H | |
#define BIOS_STDIO_H 1 | |
#include <stdarg.h> | |
extern int puts(const char *s); | |
extern int printf(const char *fmt, ...); | |
extern int snprintf(char *buf, int size, const char *fmt, ...); | |
extern int vsnprintf(char *buf, int size, const char *fmt, va_list va); | |
#endif |