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 clock_init();
14 extern void uart_init();
15 extern void uart_putc(unsigned char);
16 extern void uart_puts(unsigned char *);
17 extern char uart_getc();
20 extern void ivt_init();
21 extern void ivt_set_gate(unsigned char, void *(), short);
24 extern void systick_init();
27 extern void sysinfo();
30 extern void addrtohex(const uint32_t);
33 extern void mm_init();
34 extern void * malloc(size_t);
35 extern void free(void *);
36 extern void test_memory(uint32_t *);
39 extern void pool_init(size_t, unsigned int, uint32_t *);
40 extern void * alloc();
44 extern void regw_u8(volatile uint32_t *, uint8_t, short, short);
45 extern void regw_u32(volatile uint32_t *, uint32_t, short, short);
48 extern char getchar();
49 extern void cputchar(char);
50 extern void cputs(unsigned char *);
51 extern char * readline();
52 extern void terminal();