void *__iomem reg_base; 
void __iomem *reg_base; 
static inline u32 mv_read(int offset){	void *__iomem reg_base;	reg_base = mv643xx_eth_shared_base - MV643XX_ETH_SHARED_REGS;	return readl(reg_base + offset);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/dc074a8a32bc12e19436b087f01f4a4700e9b9c0/mv643xx_eth.c/buggy/drivers/net/mv643xx_eth.c