/**
 * @file
 * 
 * interrrupt handlers:
 * * excX() call handle_exception
 * * excX() call hadnle_interrupt
 */

void int0();
void int1();
void int2();
void int3();
void int4();
void int5();
void int6();
void int7();
void int8();
void int9();
void int10();
void int11();
void int12();
void int13();
void int14();
void int15();

void int128(); // syscalls
void int129(); // scheduler
void int140(); // scheduler
void int144(); // scheduler
void int145(); // scheduler
void int146(); // scheduler
void int200(); // apic timer
void int170(); // smp scheduler
void int255(); // unhandled

void exc0();
void exc1();
void exc2();
void exc3();
void exc4();
void exc5();
void exc6();
void exc7();
void exc8();
void exc9();
void exc10();
void exc11();
void exc12();
void exc13();
void exc14();
void exc15();
void exc16();
void exc17();
void exc18();