*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);}