5 extern void *memcpy(void*, void*, size_t);
6 extern void *memset(void*, unsigned char, size_t);
7 extern unsigned short *memsetw(unsigned short *dest, unsigned short val, size_t count);
8 extern int strlen(const char *);
9 extern unsigned char inportb (uint32_t _addr);
10 extern void outportb (uint32_t _addr, unsigned char _data);
13 extern void uart_init();
14 extern void uart_putc(unsigned char);
15 extern void uart_puts(unsigned char *);