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 *);
11 extern void uart_init();
12 extern void uart_putc(unsigned char);
13 extern void uart_puts(unsigned char *);
16 extern void ivt_init();
17 extern void ivt_set_gate(unsigned char, void *(), short);
20 extern void systick_init();