if (this->f->jumpmatrix) kfree(this->f->jumpmatrix); 
kfree(this->f->jumpmatrix); 
kfree_fsm(fsm_instance *this){	if (this) {		if (this->f) {			if (this->f->jumpmatrix)				kfree(this->f->jumpmatrix);			kfree(this->f);		}		kfree(this);	} else		printk(KERN_WARNING			"fsm: kfree_fsm called with NULL argument\n");}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/17fd682e544556a2a829e94383239c029bb21c5e/fsm.c/buggy/drivers/s390/net/fsm.c