Searched refs:int12_handler (Results 1 – 3 of 3) sorted by relevance
94 int int12_handler(void);
72 int int12_handler(void) in int12_handler() function
123 int_handler[0x12] = &int12_handler; in setup_interrupt_handlers()