static inline struct sky2_tx_le *get_tx_le(struct sky2_port *sky2){	struct sky2_tx_le *le = sky2->tx_le + sky2->tx_prod;	sky2->tx_prod = (sky2->tx_prod + 1) % TX_RING_SIZE;	return le;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/793b883ed12a6ae6e2901ddb5e038b77d6f0c0ac/sky2.c/buggy/drivers/net/sky2.c