*val = readl((void *)(dev->base_addr + reg)); 
*val = readl((void __iomem *)(dev->base_addr + reg)); 
static inline void read_register(struct net_device *dev, u32 reg, u32 *val){	*val = readl((void *)(dev->base_addr + reg));	IPW_DEBUG_IO("r: 0x%08X => 0x%08X\n", reg, *val);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/2be041a79bbdbb3c830f4cc3bc3387ba6fff7566/ipw2100.c/clean/drivers/net/wireless/ipw2100.c