tag	line	file	source code
read_frame	819	drivers/net/3c507.c	ushort *read_frame =  (short *)(dev->mem_start + rx_head);
read_frame	820	drivers/net/3c507.c	ushort rfd_cmd = read_frame[1];
read_frame	821	drivers/net/3c507.c	ushort next_rx_frame = read_frame[2];
read_frame	822	drivers/net/3c507.c	ushort data_buffer_addr = read_frame[3];
read_frame	875	drivers/net/3c507.c	read_frame[0] = 0;
read_frame	876	drivers/net/3c507.c	read_frame[1] = 0xC000;