Searched refs:machine_check_interrupt (Results 1 – 4 of 4) sorted by relevance
122 (void) machine_check_interrupt
128 machine_check_interrupt(cpu *processor, in machine_check_interrupt() function
2322 (machine_check_interrupt): Ditto.2334 (machine_check_interrupt): Ditto.