 kmem_cache_destroy(dccp_hashinfo.bind_bucket_cachep); 
static void __exit dccp_fini(void){	dccp_ctl_sock_exit();	inet_unregister_protosw(&dccp_v4_protosw);	if (inet_del_protocol(&dccp_protocol, IPPROTO_DCCP) < 0)		printk(dccp_del_proto_err_msg);	/* Free the control endpoint.  */	sock_release(dccp_ctl_socket);	proto_unregister(&dccp_v4_prot);	kmem_cache_destroy(dccp_hashinfo.bind_bucket_cachep);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/725ba8eee3881e619c8e5a0116f1bdb6480ac2d9/proto.c/buggy/net/dccp/proto.c