Searched refs:fwnmi_active (Results 1 – 3 of 3) sorted by relevance
133 extern int fwnmi_active;
495 if (fwnmi_active) { in pSeries_system_reset_exception()866 if (fwnmi_active) { in pseries_machine_check_realmode()
86 int fwnmi_active; /* TRUE if an FWNMI handler is present */ variable136 fwnmi_active = 1; in fwnmi_init()
Completed in 7 milliseconds