Searched refs:machine_check_addr (Results 1 – 1 of 1) sorted by relevance
129 unsigned long system_reset_addr, machine_check_addr; in fwnmi_init() local150 machine_check_addr = __pa(machine_check_fwnmi) - PHYSICAL_START; in fwnmi_init()153 system_reset_addr, machine_check_addr)) in fwnmi_init()