extern void *memset(void*, unsigned char, size_t);
extern unsigned short *memsetw(unsigned short *dest, unsigned short val, size_t count);
extern int strlen(const char *);
-extern unsigned char inportb (uint32_t _addr);
-extern void outportb (uint32_t _addr, unsigned char _data);
/* UART.C */
extern void uart_init();
/* IVT.C */
extern void ivt_init();
+extern void ivt_set_gate(unsigned char, void *(), short);
+
+/* SYSTICK.C */
+extern void systick_init();
#endif