tag	line	file	source code
curr_page	630	drivers/net/de620.c	byte curr_page;
curr_page	705	drivers/net/de620.c	curr_page = de620_get_register(R_CPR);
curr_page	707	drivers/net/de620.c	PRINTK(("next_rx_page=%d CPR=%d\n", next_rx_page, curr_page));
curr_page	709	drivers/net/de620.c	return (next_rx_page != curr_page); /* That was slightly tricky... */