for (i = 0; i <= PACKET_NUM_STATES; i++) 
for (i = 0; i < PACKET_NUM_STATES; i++) 
static void pkt_count_states(struct pktcdvd_device *pd, int *states){	struct packet_data *pkt;	int i;	for (i = 0; i <= PACKET_NUM_STATES; i++)		states[i] = 0;	spin_lock(&pd->cdrw.active_list_lock);	list_for_each_entry(pkt, &pd->cdrw.pkt_active_list, list) {		states[pkt->state]++;	}	spin_unlock(&pd->cdrw.active_list_lock);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/ae7642bb05623988d8ca82b332dad1ed7bdb8ceb/pktcdvd.c/buggy/drivers/block/pktcdvd.c