tag	line	file	source code
read_frame	793	drivers/net/3c507.c	ushort *read_frame =  (short *)(dev->mem_start + rx_head);
read_frame	794	drivers/net/3c507.c	ushort rfd_cmd = read_frame[1];
read_frame	795	drivers/net/3c507.c	ushort next_rx_frame = read_frame[2];
read_frame	796	drivers/net/3c507.c	ushort data_buffer_addr = read_frame[3];
read_frame	836	drivers/net/3c507.c	read_frame[0] = 0;
read_frame	837	drivers/net/3c507.c	read_frame[1] = 0xC000;