1 2 3 4 5 6 7 8 9 10 11
#ifndef __STDIO_H__ #define __STDIO_H__ #include "types.h" extern uint8_t *stdout, stderr; void putc(char ch, uint8_t *buffer); int printf(const char *fmt, ...); #endif