Searched refs:machine_check_fwnmi (Results 1 – 4 of 4) sorted by relevance
126 extern void machine_check_fwnmi(void);
65 create_trampoline(__pa(machine_check_fwnmi) - PHYSICAL_START); in setup_kdump_trampoline()
296 .globl machine_check_fwnmi297 machine_check_fwnmi: label
106 machine_check_addr = __pa(machine_check_fwnmi) - PHYSICAL_START; in fwnmi_init()