1#include <stdarg.h> 2#include <stdbool.h> 3 4#ifndef NULL 5#define NULL ((void *)0) 6#endif 7 8void at91_init_uarts(void); 9int puts(const char *str); 10int putc(int c); 11int putchar(int c); 12int getc(); 13 14int strlen(const char *str); 15 16int hvfprintf(const char *fmt, va_list ap); 17 18int printf(const char *fmt, ...); 19