t->trie = NULL; 
rcu_assign_pointer(t->trie, NULL); 
static void trie_init(struct trie *t){	if (!t)		return;	t->size = 0;	t->trie = NULL;	t->revision = 0;#ifdef CONFIG_IP_FIB_TRIE_STATS	memset(&t->stats, 0, sizeof(struct trie_use_stats));#endif}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/2373ce1ca04dd46bf2b8b0f9a799eb2a90da92fb/fib_trie.c/buggy/net/ipv4/fib_trie.c