Searched refs:DB_DBG_POST_CORE (Results 1 – 2 of 2) sorted by relevance
487 #define DB_DBG_POST_CORE 0x1000 /*Wait in debugger after NMI core */ macro
448 if (debug & DB_DBG_POST_CORE) { in kdp_register_send_receive()