Searched refs:xen_psm_kmdb_on_nmi (Results 1 – 1 of 1) sorted by relevance
78 int xen_psm_kmdb_on_nmi = 0; /* 0 - no, 1 - yes enter kmdb */ variable234 if (xen_psm_kmdb_on_nmi && psm_debugger()) { in xen_psm_nmi_intr()