Searched refs:MachineCheck_FWNMI (Results 1 – 2 of 2) sorted by relevance
97 extern void SystemReset_FWNMI(void), MachineCheck_FWNMI(void); /* from head.S */217 __pa((unsigned long)MachineCheck_FWNMI)); in machine_check_init()
553 .globl MachineCheck_FWNMI554 MachineCheck_FWNMI: label