writel(val, (void *)(dev->base_addr + reg));
writel(val, (void __iomem *)(dev->base_addr + reg));
static inline void write_register(struct net_device *dev, u32 reg, u32 val){	writel(val, (void *)(dev->base_addr + reg));	IPW_DEBUG_IO("w: 0x%08X <= 0x%08X\n", reg, val);}