Searched refs:machine_check_fwnmi (Results 1 – 5 of 5) sorted by relevance
125 extern void machine_check_fwnmi(void);
65 create_trampoline(__pa(machine_check_fwnmi) - PHYSICAL_START); in setup_kdump_trampoline()
528 .globl machine_check_fwnmi529 machine_check_fwnmi: label
108 machine_check_addr = __pa(machine_check_fwnmi) - PHYSICAL_START; in fwnmi_init()
173 13: b machine_check_fwnmi