u64 n = 0; 
__be64 n = 0; 
mac_addr(char addr[6]){	u64 n = 0;	char *p = (char *) &n;	memcpy(p + 2, addr, 6);	/* (sizeof addr != 6) */	return __be64_to_cpu(n);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/63e9cc5d6fbe8b58ea1ee96439d356cbf726fbc0/aoenet.c/clean/drivers/block/aoe/aoenet.c