tag	line	file	source code
curr_page	638	drivers/net/de620.c	byte curr_page;
curr_page	713	drivers/net/de620.c	curr_page = de620_get_register(dev, R_CPR);
curr_page	715	drivers/net/de620.c	PRINTK(("next_rx_page=%d CPR=%d\n", next_rx_page, curr_page));
curr_page	717	drivers/net/de620.c	return (next_rx_page != curr_page); /* That was slightly tricky... */