rbu_data.packet_write_count = 0; 
static void init_packet_head(void){	INIT_LIST_HEAD(&packet_data_head.list);	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