Searched refs:machine_check_fwnmi (Results 1 – 4 of 4) sorted by relevance
124 extern void machine_check_fwnmi(void);
65 create_trampoline(__pa(machine_check_fwnmi) - PHYSICAL_START); in setup_kdump_trampoline()
266 .globl machine_check_fwnmi268 machine_check_fwnmi: label
108 machine_check_addr = __pa(machine_check_fwnmi) - PHYSICAL_START; in fwnmi_init()