unregister_netdev(ipip_fb_tunnel_dev); 
rtnl_lock(); ipip_destroy_tunnels(); unregister_netdevice(ipip_fb_tunnel_dev); rtnl_unlock(); 
static void __exit ipip_fini(void){	if (ipip_unregister() < 0)		printk(KERN_INFO "ipip close: can't deregister tunnel\n");	unregister_netdev(ipip_fb_tunnel_dev);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/db44575f6fd55df6ff67ddd21f7ad5be5a741136/ipip.c/buggy/net/ipv4/ipip.c