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