db_kdintr_symbol_value   84 arch/i386/i386/db_trace.c db_addr_t	db_kdintr_symbol_value = 0;
db_kdintr_symbol_value  100 arch/i386/i386/db_trace.c 		db_kdintr_symbol_value = (db_addr_t) value;