stdio.h

开源的BIOS启动软件

#include <stdarg.h>

int printf(const char *fmt, ...);
int sprintf(char *buf, const char *fmt, ...);
int vsprintf(char *buf, const char *fmt, va_list args);
int getc(void);
int getc_timed(int cs);
int gets(char *, int len);