arch_debug_remove_interrupt_handler
void arch_debug_remove_interrupt_handler(uint32 line);
arch_debug_remove_interrupt_handler(vector);