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 *);
19 extern void ivt_init();
20 extern void ivt_set_gate(unsigned char, void *(), short);
23 extern void systick_init();
26 extern void sysinfo();
29 extern void addrtohex(const uint32_t);
32 extern void mm_init();
33 extern void * mm_alloc(size_t);
34 extern void free(void *);
35 extern void test_memory(uint32_t *);
38 extern void regw_u8(volatile uint32_t *, uint8_t, short, short);
39 extern void regw_u32(volatile uint32_t *, uint32_t, short, short);