unsigned char* addr_str) 
const char* func, unsigned char* addr_str) 
dump_hw_addr(int dbg_lvl, struct net_device *dev, const char* pfx,	     unsigned char* addr_str){	int i;	char buf[100], octet[5];    	if (dbg_lvl <= GT96100_DEBUG) {		strcpy(buf, pfx);		for (i = 0; i < 6; i++) {			sprintf(octet, "%2.2x%s",				addr_str[i], i<5 ? ":" : "\n");			strcat(buf, octet);		}		info("%s", buf);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/560c22fe1fc8b3523ef422da4f1cf04aa22d1471/gt96100eth.c/buggy/drivers/net/gt96100eth.c