write_lock(&dn_fib_tables_lock); t = dn_fib_tables[n]; dn_fib_tables[n] = NULL; write_unlock(&dn_fib_tables_lock); 
write_lock(&dn_fib_tables_lock); t = dn_fib_tables[n]; dn_fib_tables[n] = NULL; write_unlock(&dn_fib_tables_lock); 
static void dn_fib_del_tree(int n){        struct dn_fib_table *t;        write_lock(&dn_fib_tables_lock);        t = dn_fib_tables[n];        dn_fib_tables[n] = NULL;        write_unlock(&dn_fib_tables_lock);        if (t) {                kfree(t);        }}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a51482bde22f99c63fbbb57d5d46cc666384e379/dn_table.c/buggy/net/decnet/dn_table.c