reg |= (uint64_t) *(--ptr);  
reg |= (uint64_t) *(--ptr);  
static uint64_t sbmac_addr2reg(unsigned char *ptr){	uint64_t reg = 0;		ptr += 6;		reg |= (uint64_t) *(--ptr); 	reg <<= 8;	reg |= (uint64_t) *(--ptr); 	reg <<= 8;	reg |= (uint64_t) *(--ptr); 	reg <<= 8;	reg |= (uint64_t) *(--ptr); 	reg <<= 8;	reg |= (uint64_t) *(--ptr); 	reg <<= 8;	reg |= (uint64_t) *(--ptr); 		return reg;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/74b0247fbd4b6ed1693a420d85cf50267d840ef4/sb1250-mac.c/buggy/drivers/net/sb1250-mac.c