Searched refs:unknown_nmi_panic (Results 1 – 3 of 3) sorted by relevance
87 int unknown_nmi_panic; variable99 unknown_nmi_panic = 1; in setup_unknown_nmi_panic()346 if (unknown_nmi_panic || panic_on_unrecovered_nmi) in unknown_nmi_error()
385 if (!unknown_nmi_panic) in hv_nmi_unknown()
8064 unknown_nmi_panic