ip6_del_rt(rt, NULL, NULL); 
ip6_del_rt(rt, NULL, NULL, NULL); 
void rt6_purge_dflt_routers(void){	struct rt6_info *rt;restart:	read_lock_bh(&rt6_lock);	for (rt = ip6_routing_table.leaf; rt; rt = rt->u.next) {		if (rt->rt6i_flags & (RTF_DEFAULT | RTF_ADDRCONF)) {			dst_hold(&rt->u.dst);			rt6_reset_dflt_pointer(NULL);			read_unlock_bh(&rt6_lock);			ip6_del_rt(rt, NULL, NULL);			goto restart;		}	}	read_unlock_bh(&rt6_lock);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0d51aa80a9b1db43920c0770c3bb842dd823c005/route.c/buggy/net/ipv6/route.c