tag	line	file	source code
read_frame	813	drivers/net/3c507.c	ushort *read_frame =  (short *)(dev->mem_start + rx_head);
read_frame	814	drivers/net/3c507.c	ushort rfd_cmd = read_frame[1];
read_frame	815	drivers/net/3c507.c	ushort next_rx_frame = read_frame[2];
read_frame	816	drivers/net/3c507.c	ushort data_buffer_addr = read_frame[3];
read_frame	856	drivers/net/3c507.c	read_frame[0] = 0;
read_frame	857	drivers/net/3c507.c	read_frame[1] = 0xC000;