nr_redundant     1841 kernel/locking/lockdep.c 		debug_atomic_inc(nr_redundant);
nr_redundant      181 kernel/locking/lockdep_internals.h 	unsigned int   nr_redundant;
nr_redundant      184 kernel/locking/lockdep_proc.c 		debug_atomic_read(nr_redundant));