RX_USED_SET       485 drivers/net/ethernet/sun/cassini.c 	RX_USED_SET(page, 0);
RX_USED_SET      1391 drivers/net/ethernet/sun/cassini.c 	RX_USED_SET(page0[index], 0);