(u64) ret <<= 32; (u64) ret |= readl(addr); 
ret <<= 32; ret |= readl(addr); 
static inline u64 readq(void __iomem *addr){	u64 ret = 0;	ret = readl(addr + 4);	(u64) ret <<= 32;	(u64) ret |= readl(addr);	return ret;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/7ef24b69f9ff4858d7242059fbb19477c10e6dd7/s2io.h/buggy/drivers/net/s2io.h