if (iucv_external_int_buffer) { kfree(iucv_external_int_buffer); iucv_external_int_buffer = NULL; } if (iucv_param_pool) { kfree(iucv_param_pool); iucv_param_pool = NULL; } 
kfree(iucv_external_int_buffer); iucv_external_int_buffer = NULL; kfree(iucv_param_pool); iucv_param_pool = NULL; 
iucv_exit(void){	iucv_retrieve_buffer();      	if (iucv_external_int_buffer) {		kfree(iucv_external_int_buffer);		iucv_external_int_buffer = NULL;	}	if (iucv_param_pool) {		kfree(iucv_param_pool);		iucv_param_pool = NULL;	}	s390_root_dev_unregister(iucv_root);	bus_unregister(&iucv_bus);	printk(KERN_INFO "IUCV lowlevel driver unloaded\n");}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/17fd682e544556a2a829e94383239c029bb21c5e/iucv.c/clean/drivers/s390/net/iucv.c