sky2_put_idx     1480 drivers/net/ethernet/marvell/sky2.c 	sky2_put_idx(sky2->hw, rxq, sky2->rx_put);
sky2_put_idx     1972 drivers/net/ethernet/marvell/sky2.c 	sky2_put_idx(hw, txqaddr[sky2->port], sky2->tx_prod);