JFFS2_DBG_SUMMARY("already empty\n"); 
dbg_summary("already empty\n"); 
static void jffs2_sum_clean_collected(struct jffs2_summary *s){	union jffs2_sum_mem *temp;	if (!s->sum_list_head) {		JFFS2_DBG_SUMMARY("already empty\n");	}	while (s->sum_list_head) {		temp = s->sum_list_head;		s->sum_list_head = s->sum_list_head->u.next;		kfree(temp);	}	s->sum_list_tail = NULL;	s->sum_padded = 0;	s->sum_num = 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/733802d974e5af42acb7cd61b16c0ce6dd03b7ed/summary.c/buggy/fs/jffs2/summary.c