rdp->count--; 
static void rcu_do_batch(struct rcu_data *rdp){	struct rcu_head *next, *list;	int count = 0;	list = rdp->donelist;	while (list) {		next = rdp->donelist = list->next;		list->func(list);		list = next;		if (++count >= maxbatch)			break;	}	if (!rdp->donelist)		rdp->donetail = &rdp->donelist;	else		tasklet_schedule(&per_cpu(rcu_tasklet, rdp->cpu));}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/5ee832dbc6770135ec8d63296af0a4374557bb79/rcupdate.c/buggy/kernel/rcupdate.c