Searched refs:handle_external_interrupt (Results 1 – 3 of 3) sorted by relevance
13 void handle_external_interrupt(int vector);
95 void handle_external_interrupt(int vector) in handle_external_interrupt() function
1720 handle_external_interrupt(vector); in interrupt_exit_handler()