init_packet_head(void) 
static void init_packet_head(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;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/dda8577fb5a00507e5aea737833190a10516b257/dell_rbu.c/buggy/drivers/firmware/dell_rbu.c