rbu_data.packet_write_count = 0; 
static void packet_empty_list(void){	struct list_head *ptemp_list;	struct list_head *pnext_list;	struct packet_data *newpacket;	ptemp_list = (&packet_data_head.list)->next;	while (!list_empty(ptemp_list)) {		newpacket =			list_entry(ptemp_list, struct packet_data, list);		pnext_list = ptemp_list->next;		list_del(ptemp_list);		ptemp_list = pnext_list;		/*		 * zero out the RBU packet memory before freeing		 * to make sure there are no stale RBU packets left in memory		 */		memset(newpacket->data, 0, rbu_data.packetsize);		free_pages((unsigned long) newpacket->data,			newpacket->ordernum);		kfree(newpacket);	}	rbu_data.packet_write_count = 0;	rbu_data.packet_read_count = 0;	rbu_data.num_packets = 0;	rbu_data.packetsize = 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/ad6ce87e5bd4440a6ce9aa9f8cda795b9e902eff/dell_rbu.c/buggy/drivers/firmware/dell_rbu.c