tag	line	file	source code
read_frame	827	drivers/net/3c507.c	ushort *read_frame =  (short *)(dev->mem_start + rx_head);
read_frame	828	drivers/net/3c507.c	ushort rfd_cmd = read_frame[1];
read_frame	829	drivers/net/3c507.c	ushort next_rx_frame = read_frame[2];
read_frame	830	drivers/net/3c507.c	ushort data_buffer_addr = read_frame[3];
read_frame	872	drivers/net/3c507.c	read_frame[0] = 0;
read_frame	873	drivers/net/3c507.c	read_frame[1] = 0xC000;