Searched refs:machine_check_fwnmi (Results 1 – 4 of 4) sorted by relevance
65 create_trampoline(__pa(machine_check_fwnmi) - PHYSICAL_START); in setup_kdump_trampoline()
330 .globl machine_check_fwnmi331 machine_check_fwnmi: label
125 extern void machine_check_fwnmi(void);
118 machine_check_addr = __pa(machine_check_fwnmi) - PHYSICAL_START; in fwnmi_init()