Searched refs:psm_debugger (Results 1 – 4 of 4) sorted by relevance
81 extern int psm_debugger(void);
440 psm_debugger(void) in psm_debugger() function
810 if (apic_kmdb_on_nmi && psm_debugger()) { in apic_nmi_intr()
234 if (xen_psm_kmdb_on_nmi && psm_debugger()) { in xen_psm_nmi_intr()