Searched refs:machine_check_fwnmi (Results 1 – 5 of 5) sorted by relevance
122 extern void machine_check_fwnmi(void);
65 create_trampoline(__pa(machine_check_fwnmi) - PHYSICAL_START); in setup_kdump_trampoline()
505 .globl machine_check_fwnmi symbol506 machine_check_fwnmi: label
109 machine_check_addr = __pa(machine_check_fwnmi) - PHYSICAL_START; in fwnmi_init()
181 13: b machine_check_fwnmi