unregister_netdev(ipgre_fb_tunnel_dev); 
rtnl_lock(); ipgre_destroy_tunnels(); rtnl_unlock(); 
static void ipgre_fini(void){	if (inet_del_protocol(&ipgre_protocol, IPPROTO_GRE) < 0)		printk(KERN_INFO "ipgre close: can't remove protocol\n");	unregister_netdev(ipgre_fb_tunnel_dev);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/db44575f6fd55df6ff67ddd21f7ad5be5a741136/ip_gre.c/buggy/net/ipv4/ip_gre.c