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