taglinefilesource code
curr_page623drivers/net/de620.cbyte curr_page;
curr_page695drivers/net/de620.ccurr_page = de620_get_register(R_CPR);
curr_page697drivers/net/de620.cPRINTK(("next_rx_page=%d CPR=%d\n", next_rx_page, curr_page));
curr_page699drivers/net/de620.creturn (next_rx_page != curr_page); /* That was slightly tricky... */