void pic_setup();
void int_kb_handler();
void int_default_handler();
void int_clock_handler();
void int_syscall_handler();
void int_irq0();
void int_irq1();
void int_irq2();
void int_irq3();
void int_irq4();
void int_irq5();
void int_irq6();
void int_irq7();
void int_irq8();
void int_irq9();
void int_irq10();
void int_irq11();
void int_irq12();
void int_irq13();
void int_irq14();
void int_irq15();
void int_irq16();
void int_irq17();
void int_irq18();