JFFS2_DBG_SUMMARY("called\n"); 
dbg_summary("called\n"); 
void jffs2_sum_exit(struct jffs2_sb_info *c){	JFFS2_DBG_SUMMARY("called\n");	jffs2_sum_disable_collecting(c->summary);	vfree(c->summary->sum_buf);	c->summary->sum_buf = NULL;	kfree(c->summary);	c->summary = NULL;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/733802d974e5af42acb7cd61b16c0ce6dd03b7ed/summary.c/buggy/fs/jffs2/summary.c