if (sizeof(map) > sizeof(u32)) { 
re->idx = sky2->rx_put; if (sky2->rx_addr64 != hi) { 
static inline void sky2_rx_add(struct sky2_port *sky2, dma_addr_t map, u16 len){	struct sky2_rx_le *le;	if (sizeof(map) > sizeof(u32)) {		le = sky2_next_rx(sky2);		le->rx.addr = cpu_to_le32((u64) map >> 32);		le->ctrl = 0;		le->opcode = OP_ADDR64 | HW_OWNER;	}		le = sky2_next_rx(sky2);	le->rx.addr = cpu_to_le32((u32) map);	le->length = cpu_to_le16(len);	le->ctrl = 0;	le->opcode = OP_PACKET | HW_OWNER;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/793b883ed12a6ae6e2901ddb5e038b77d6f0c0ac/sky2.c/buggy/drivers/net/sky2.c