struct lock_chain lock_chains[MAX_LOCKDEP_CHAINS];
 static DECLARE_BITMAP(lock_chains_in_use, MAX_LOCKDEP_CHAINS);
 static u16 chain_hlocks[MAX_LOCKDEP_CHAIN_HLOCKS];
+unsigned long nr_zapped_lock_chains;
 unsigned int nr_chain_hlocks;
 
 struct lock_class *lock_chain_get_class(struct lock_chain *chain, int i)
         */
        hlist_del_rcu(&chain->entry);
        __set_bit(chain - lock_chains, pf->lock_chains_being_freed);
+       nr_zapped_lock_chains++;
 #endif
 }
 
 
 
 extern unsigned long nr_lock_classes;
 extern unsigned long nr_zapped_classes;
+extern unsigned long nr_zapped_lock_chains;
 extern unsigned long nr_list_entries;
 long lockdep_next_lockchain(long i);
 unsigned long lock_chain_count(void);
 
        seq_puts(m, "\n");
        seq_printf(m, " zapped classes:                %11lu\n",
                        nr_zapped_classes);
+#ifdef CONFIG_PROVE_LOCKING
+       seq_printf(m, " zapped lock chains:            %11lu\n",
+                       nr_zapped_lock_chains);
+#endif
        return 0;
 }