REENTRY            63 kernel/debug/kdb/kdb_debugger.c 	if (KDB_STATE(REENTRY)) {
REENTRY            65 kernel/debug/kdb/kdb_debugger.c 		KDB_STATE_CLEAR(REENTRY);
REENTRY           164 kernel/debug/kdb/kdb_debugger.c 		KDB_STATE_SET(REENTRY);