void pic_setup();
void int_kb_handler();
void int_default_handler();
void int_clock_handler();
void int_syscall_handler();
void int_irq0();