if (int_handler_table[interrupt] == NULL) {
kprint("WARNING: Unhandled interrupt ", 0);
kprintb(interrupt);
kprint(" occurred!\n", 0);
} else {
if (int_handler_table[interrupt] == NULL) {
kprint("WARNING: Unhandled interrupt ", 0);
kprintb(interrupt);
kprint(" occurred!\n", 0);
} else {