raw3270_request_free(((struct fs3270 *) view)->clear); 
struct fs3270 *fp;  fp = (struct fs3270 *) view; if (fp->rdbuf) idal_buffer_free(fp->rdbuf); raw3270_request_free(((struct fs3270 *) view)->init); 
fs3270_free_view(struct raw3270_view *view){	raw3270_request_free(((struct fs3270 *) view)->clear);	kfree(view);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/ed3cb6f039bb296457bfd2877cba6ad0287d8d54/fs3270.c/buggy/drivers/s390/char/fs3270.c