debug_keyboard_interrupt
remove_io_interrupt_handler(INT_PS2_KEYBOARD, &debug_keyboard_interrupt,
install_io_interrupt_handler(INT_PS2_KEYBOARD, &debug_keyboard_interrupt,